diff options
| author | Leo Famulari <leo@famulari.name> | 2020-08-14 16:30:47 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2020-12-14 12:15:06 -0500 |
| commit | 80ebcdd100a82fdc582e62f35042c74ce38ea753 (patch) | |
| tree | ac6a33796ee1e89761e8d2c612baa3324edf8ddd /scripts | |
| parent | 3ef808bbeb6109fb4889ac29e6d3be5df81e61a3 (diff) | |
| download | guix-80ebcdd100a82fdc582e62f35042c74ce38ea753.tar.gz | |
maint: Only run `make authenticate` when pushing commits.
* etc/git/pre-push: Exit early when deleting a branch.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions