Hi Nick, Nick Dokos wrote: > Can we please make it an invariable practice to run `make test' before > every push?
Isn't it possible to put such in some sort of Git pre-commit hook (or pre-push hook), so that it gets automatically enforced? Best regards, Seb -- Sebastien Vauban
