Leo Famulari 80ebcdd100 maint: Only run `make authenticate` when pushing commits. il y a 4 ans
..
pre-push 80ebcdd100 maint: Only run `make authenticate` when pushing commits. il y a 4 ans