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
..
2020-09-17 14:10:42 +02:00
2020-12-12 02:27:58 +01:00