diff options
| author | Leo Famulari <leo@famulari.name> | 2025-05-26 21:51:02 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2025-05-27 10:11:03 -0400 |
| commit | 96da4def781a1b01536fd4335be0446984dc6705 (patch) | |
| tree | aec8bb94fdf55f9b808d02bb6b29a603f2c0f2a4 /gnu | |
| parent | da81ce890cdc26da2ef19173d74cd84c0c3a6aa5 (diff) | |
etc: pre-push Git hook: Make portable to current Debian.
Closes #64
The ;& operator was introduced in POSIX.1-2024 "Issue 8", from 2024, but
is not yet available in Debian's dash shell.
* etc/git/pre-push: Duplicate the handling of our two canonical Git repo
URLs.
Change-Id: I1125810c9f2d6fb9a99f7220d971cc38387989d3
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions