2015-04-09 20:24 GMT+02:00 Eric Blake <[email protected]>: > On 04/09/2015 12:20 PM, Andreas Grünbacher wrote: >> 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. > > I don't have access rights to savannah to install such a hook, but yes, > having a server-side hook instead of trying to enforce client-side hooks > would be a reasonable solution. Does anyone have an example hook that we > could tell savannah admins to install on all git projects that have a > submodule, where it would refuse incoming pull requests that update the > submodule to a non-public commit?
Maybe someone on the savannah-users list has done something similar before? Andreas
