diff options
| author | Malfurious <m@lfurio.us> | 2023-09-15 05:48:40 -0400 |
|---|---|---|
| committer | Malfurious <m@lfurio.us> | 2023-09-15 10:53:24 -0400 |
| commit | 5756572b09a78541d9d0d9fc6b21a6c006a99894 (patch) | |
| tree | bf8f0588eeccf47b30be31bf238359be9a7a5459 /gitolite/dotfiles/local/triggers/push | |
| parent | a9c483cad66446d3569f0666c55bed6263f75162 (diff) | |
| download | srcnode-5756572b09a78541d9d0d9fc6b21a6c006a99894.tar.gz srcnode-5756572b09a78541d9d0d9fc6b21a6c006a99894.zip | |
gitolite: Allow users to delete remote HEAD branches
This allows the branch considered the repo default to be deleted via
push. I'm not totally opposed to allowing this, even though it's not
entirely necessary. However, the ability to do this is now required by
the docker image entrypoint script.
Signed-off-by: Malfurious <m@lfurio.us>
Diffstat (limited to 'gitolite/dotfiles/local/triggers/push')
0 files changed, 0 insertions, 0 deletions