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