OMPI devs --
Per lots of previous discussions, you all know that you can't assign labels,
milestones, or users to issues/pull requests on the ompi-release repo.
Gilles has written a Github bot that will allow you to do these things by
inserting special tokens in the text of issues/pull requests/comments. Here's
an example:
This PR fixes problem XYZ.
label:bug
label:enhancement
milestone:v1.8.5
assign:@jsquyres
*** PLEASE GO TRY IT on the sandbox ompi-release-bot repo.
Here's a fuller explanation of what OMPIBot does, and links to where you can
try it out:
https://github.com/open-mpi/ompi-release-bot/wiki
Once we get enough people to try it/fix any bugs/etc., we'll deploy it on the
ompi-release repo.
--
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to:
http://www.cisco.com/web/about/doing_business/legal/cri/
