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.
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
> 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
> 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;
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
> 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
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