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

2018-01-31 Thread Gilles Gouaillardet
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.

[OMPI devel] hwloc issues in this week telcon?

2018-01-31 Thread Brice Goglin
Hello Two hwloc issues are listed in this week telcon: "hwloc2 WIP, may need help with." https://github.com/open-mpi/ompi/pull/4677 * Is this really a 3.0.1 thing? I thought hwloc2 was only for 3.1+ * As I replied in this PR, I have some patches but I need help for testing them. Can you list

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

2018-01-31 Thread Barrett, Brian via devel
> 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

2018-01-31 Thread r...@open-mpi.org
> 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

2018-01-31 Thread Jeff Squyres (jsquyres)
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

2018-01-31 Thread r...@open-mpi.org
> 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

2018-01-31 Thread Gilles Gouaillardet
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