Leo Famulari 80ebcdd100 maint: Only run make authenticate when pushing commits. ...

* etc/git/pre-push: Exit early when deleting a branch.

2020-12-14 12:15:06 -05:00

..

pre-push

maint: Only run make authenticate when pushing commits.

2020-12-14 12:15:06 -05:00