Re: [OMPI devel] cannot push directly to master anymore

It seems we are all on the same page, so I am fine to keep things as is too. IIRC, GitHub.com does not allow any *user* pre-commit hooks for security reasons. "Auto-merge when all CI completes" would be a nice feature to have, but I am not sure this is something we want to develop and maintain.

Re: [OMPI devel] cannot push directly to master anymore

> On Jan 31, 2018, at 8:33 AM, r...@open-mpi.org wrote: > > > >> On Jan 31, 2018, at 7:36 AM, Jeff Squyres (jsquyres) >> wrote: >> >> On Jan 31, 2018, at 10:14 AM, Gilles Gouaillardet >> wrote: >>> >>> I tried to push some trivial

Re: [OMPI devel] cannot push directly to master anymore

> On Jan 31, 2018, at 8:41 AM, Jeff Squyres (jsquyres) > wrote: > > On Jan 31, 2018, at 11:33 AM, r...@open-mpi.org wrote: >> >> If CI takes 30 min, then not a problem - when CI takes 6 hours (as it >> sometimes does), then that’s a different story. > > Fair point;

Re: [OMPI devel] cannot push directly to master anymore

On Jan 31, 2018, at 11:33 AM, r...@open-mpi.org wrote: > > If CI takes 30 min, then not a problem - when CI takes 6 hours (as it > sometimes does), then that’s a different story. Fair point; that's why I experimented with (and accidentally left enabled) only having the 2 pretty-much-immediate

Re: [OMPI devel] cannot push directly to master anymore

> On Jan 31, 2018, at 7:36 AM, Jeff Squyres (jsquyres) > wrote: > > On Jan 31, 2018, at 10:14 AM, Gilles Gouaillardet > wrote: >> >> I tried to push some trivial commits directly to the master branch and >> was surprised that is no more

[OMPI devel] cannot push directly to master anymore

Folks, I tried to push some trivial commits directly to the master branch and was surprised that is no more allowed. The error message is not crystal clear, but I guess the root cause is the two newly required checks (Commit email checker and Signed-off-by-checker) were not performed. As a kind