(we can discuss all of this on the Webex tomorrow)
Here's a sample repo where I merged ompi and ompi-release:
https://github.com/open-mpi/ompi-all-the-branches
Please compare it to:
https://github.com/open-mpi/ompi
and https://github.com/open-mpi/ompi-release
It's current to as of within the last hour or so.
Feel free to make dummy commits / pull requests on this rep. It's a sandbox
repo that will eventually be deleted; it's safe to make whatever changes you
want on this repo.
Notes:
- All current OMPI developers have been given the same push/merge access on
master
- Force pushes are disabled on *all* branches
- On release branches:
- Pull requests cannot be merged without at least 1 review
*** ^^^ This is a new Github feature
- Only the gatekeeper team can merge PRs
If no one sees any problem with this sandbox repo, I can merge all the
ompi-release branches to the ompi repo as soon as tomorrow, and config the same
settings.
--
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to:
http://www.cisco.com/web/about/doing_business/legal/cri/
_______________________________________________
devel mailing list
devel@lists.open-mpi.org
https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
