Jeff, It might be helpful to define "PR" before first use on this page and others.
While PR = "Pull Request" is common usage among folks familiar with Git, it stands for "Problem Report" in other s/w development contexts (e.g. the gcc-bugs mailing list and associated bugzilla). So, the phrase "file a PR" in the new wiki page could be misunderstood (being aware of the ambiguity I had to read it twice to see which you meant). -Paul On Sat, Feb 14, 2015 at 9:34 AM, Jeff Squyres (jsquyres) <jsquy...@cisco.com > wrote: > The OMPI bot is now live on the ompi-release repo. Here's the commands > that are supported: > > https://github.com/open-mpi/ompi/wiki/OmpiReleaseBotCommands > > We're still tweaking it; let us know if you run into any problems with it. > > -- > 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/16986.php > -- Paul H. Hargrove phhargr...@lbl.gov Computer Languages & Systems Software (CLaSS) Group Computer Science Department Tel: +1-510-495-2352 Lawrence Berkeley National Laboratory Fax: +1-510-486-6900
