diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-07-26 08:48:28 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-07-26 08:48:28 +0100 |
commit | 6f7fc12884e8404adc589d815aaabd82e02dc3cb (patch) | |
tree | b735ba71c69744a8c7eea1ea31ecc9f823ae3978 | |
parent | 9cad1041c78df6bbe2598df0577b405b7ff50cf6 (diff) | |
download | gitolite-admin-6f7fc12884e8404adc589d815aaabd82e02dc3cb.tar.gz gitolite-admin-6f7fc12884e8404adc589d815aaabd82e02dc3cb.zip |
Make executable
-rwxr-xr-x[-rw-r--r--] | local/commands/set-default-branch (renamed from local/commands/set_default_branch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/local/commands/set_default_branch b/local/commands/set-default-branch index 2fad92b..2fad92b 100644..100755 --- a/local/commands/set_default_branch +++ b/local/commands/set-default-branch |