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 /gnu/packages | |
parent | 3ef808bbeb6109fb4889ac29e6d3be5df81e61a3 (diff) | |
download | guix-patches-80ebcdd100a82fdc582e62f35042c74ce38ea753.tar guix-patches-80ebcdd100a82fdc582e62f35042c74ce38ea753.tar.gz |
maint: Only run `make authenticate` when pushing commits.
* etc/git/pre-push: Exit early when deleting a branch.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions