I forgot to mention that you must change your Github flag to publicly state
that you are part of the Open MPI organization to be able to use the
ompi-release bot. Go to this page:
https://github.com/orgs/open-mpi/people
Find yourself, and change your membership from "Private" (the default) to
"Public".
Then you can issue bot:* commands on ompi-release PRs.
(I also added this info to
https://github.com/open-mpi/ompi/wiki/OmpiReleaseBotCommands)
--
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to:
http://www.cisco.com/web/about/doing_business/legal/cri/
