Le 03/10/2013 18:07, Jeff Squyres (jsquyres) a écrit :
> I did the conversion again, and then added the commits that we've put on github since the original conversion (but I squashed most of them). I put the resulting repo here:
> Does this look ok to everyone? If so, I can kill the existing githib/open-mpi/hwloc and replace it with this one.
The master branch looks good to me, and the list of branches looks fine too.
v1.7 misses the last git commits, but I guess you didn't update it yet.