I didn't see a merge commit for all these commits,
hence my concern that it was a mistake.
In general it's better to pull in commits via PR process.
Am Donnerstag, 1. Dezember 2016 schrieb Gilles Gouaillardet :
> fwiw, the major change is in https://github.com/open-mpi/ompi/commit/
> and i did spend quite some time testing it.
> if you are facing some unexpected issues with the latest master, you might
> try to revert this locally and see if it helps
> On Friday, December 2, 2016, Gilles Gouaillardet <
>> i pushed a bunch of commits yesterday, and that was not an accident.
>> you might be referring https://github.com/open-mpi/ompi/commit/cb55c88a8b
>> 7817d5891ff06a447ea190b0e77479 but it has already been reverted 9 days
>> ago with https://github.com/open-mpi/ompi/commit/1e2019ce2a903be
>> On Friday, December 2, 2016, r...@open-mpi.org <r...@open-mpi.org> wrote:
>>> I should add, FWIW: I’m working with the HEAD of master right now, and
>>> not seeing any problems.
>>> On Dec 1, 2016, at 2:10 PM, r...@open-mpi.org wrote:
>>> ?? I see a bunch of commits that were all collected in a single PR from
>>> Gilles yesterday - is that what you are referring to?
>>> On Dec 1, 2016, at 1:58 PM, Howard Pritchard <hpprit...@gmail.com>
>>> Hi Folks,
>>> Just an FYI it looks like a bunch of commits may have been accidentally
>>> pushed to
>>> master sometime in the past day. You may not want to merge
>>> origin/master (if origin is
>>> how you reference https://github.com/open-mpi/omp) into your master or
>>> rebase off
>>> of it until we get some clarity on what has happened.
>>> devel mailing list
devel mailing list