Hi, > Maybe consider running 'make check' in a pre-receive hook on the > server.
Not so easy ... it's not good practice to just allow anyone with push
privilege to execute code on the server like that.
So a good system with proper separation etc ... would be non-trivial.
Also, this would slow down pushes to a crawl since you'd need to
actually build the thing and its dependencies ...
Cheers,
Sylvain
