This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues or pull requests.

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