On Mon, Sep 19, 2016 at 6:56 PM, Jeff Squyres (jsquyres) <jsquy...@cisco.com
> (we can discuss all of this on the Webex tomorrow)
> Here's a sample repo where I merged ompi and ompi-release:
> Please compare it to:
> 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.
> - 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
> For corporate legal information go to: http://www.cisco.com/web/
> devel mailing list
devel mailing list