Re: [OMPI devel] ompi github repository is NOT up to date

2014-10-06 Thread Jed Brown
Ralph Castain writes: > No, it's okay - for some reason, Mike's last commit is labelled as > having been written 13 days ago. If you look at the commit log, you'll > see that everything is just fine. The commit was amended or rebased on Oct 5: $ git log -1 --format=fuller

Re: [OMPI devel] ompi github repository is NOT up to date

2014-10-06 Thread Ralph Castain
No, it's okay - for some reason, Mike's last commit is labelled as having been written 13 days ago. If you look at the commit log, you'll see that everything is just fine. On Oct 5, 2014, at 7:47 PM, Gilles Gouaillardet wrote: > Folks, > > currently,

[OMPI devel] ompi github repository is NOT up to date

2014-10-05 Thread Gilles Gouaillardet
Folks, currently, https://github.com/open-mpi/ompi last commit was 13 days ago (see attached snapshot) this is not the most up to date state ! for example, the last commit of my clone is commit 54c839a970fc3025a08fe1c04b7d4b9767078264 Merge: dee6b63 5c5453b Author: Gilles Gouaillardet