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
commit fd77ebd4525e9e0
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, https://github.com/open-mpi/ompi last com
Jeff,
i gave it a little thoughts and that does not seem to hard to achieve.
ghi https://github.com/stephencelis/ghi is a cli to manage (among other
things) labels, milestones and assignee
the elegant way would be to use webhooks and act accordingly
(short version: github issue a json request ea
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
List-Pos
