+1 great stuff 2015-02-04 5:55 GMT-07:00 Jeff Squyres (jsquyres) <jsquy...@cisco.com>:
> 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/ > > _______________________________________________ > devel mailing list > de...@open-mpi.org > Subscription: http://www.open-mpi.org/mailman/listinfo.cgi/devel > Link to this post: > http://www.open-mpi.org/community/lists/devel/2015/02/16924.php >
