[OMPI devel] GitHub v4.0.2 tag is broken

2020-04-01 Thread Ben Menadue via devel
Hi, The v4.0.2 tag in GitHub is broken at the moment -- trying to go to it just takes you to the v4.0.2 _branch_, which looks to be a separate, much more recent fork from master: https://github.com/open-mpi/ompi/tree/v4.0.2 Cheers, Ben

[OMPI devel] GitHub v4.0.2 tag is broken

2020-04-02 Thread Geoffrey Paulsen via devel
Ben,  Oops, looks like I may have pushed a v4.0.2 branch around March 10th.  Fortunately the v4.0.2 tag is fine and unaltered.  I've deleted the v4.0.2 branch.  Thanks for bringing this to our attention.  Geoff Paulsen