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 <gilles.gouaillar...@iferc.org> wrote: > 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 <gilles.gouaillar...@iferc.org> > Date: Fri Oct 3 11:57:33 2014 +0900 > > Merge branch 'topic/fix-pmix-native-getattr' > > and if i remember correctly, some stuff has been commited after that > (though this was not reflected in my clone ...) > > Could someone have a look at this ? > /* i am *not* a git guru and i do not have the most up to date clone */ > > in the mean time, i strongly advise everybody *not* to push anything to > the ompi repository > > Cheers, > > Gilles > > <ompi-gh.png>_______________________________________________ > devel mailing list > de...@open-mpi.org > Subscription: http://www.open-mpi.org/mailman/listinfo.cgi/devel > Link to this post: > http://www.open-mpi.org/community/lists/devel/2014/10/16009.php
