2015-04-09 19:08 GMT+02:00 Eric Blake <[email protected]>: > Maybe 'make check' is the wrong time, and a 'git push' > hook is the better place to be doing it. But we DO want to prevent > pushing a patch upstream to the public repo that relies on a submodule > commit that is not public, as anything else is not nice to clean up after.
Sounds like the Savannah server should be be checking that for all its projects that use gnulib. Andreas
