diff options
| author | Lukas Larsson <lukas@erlang.org> | 2020-06-30 19:32:55 +0200 |
|---|---|---|
| committer | Lukas Larsson <lukas@erlang.org> | 2020-06-30 19:33:06 +0200 |
| commit | a0e05fc530ba21eae88bea6523b2c86a96df25fc (patch) | |
| tree | 6a62f4fd934e307c726ddfb3f36f322915c36609 /scripts | |
| parent | 6497f1fd21393e321b55ca14fab656f9948d6e0c (diff) | |
| download | erlang-a0e05fc530ba21eae88bea6523b2c86a96df25fc.tar.gz | |
Allow github shortform in prepush script
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/pre-push | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/pre-push b/scripts/pre-push index 6689daf03a..978f8cceef 100755 --- a/scripts/pre-push +++ b/scripts/pre-push @@ -65,7 +65,7 @@ red_off() { printf '%b' "\033[0m" } -if [ "$url" = 'https://github.com/erlang/otp.git' -o "$url" = 'git@github.com:erlang/otp.git' ] +if [ "$url" = 'https://github.com/erlang/otp.git' -o "$url" = 'git@github.com:erlang/otp.git' -o "$url" = 'git@github.com:erlang/otp' ] then if [ $remote = "$url" ]; then red_on |