Re: [OMPI devel] OMPI devel] OMPI@GitHub: (Mostly) Open for business

2014-10-03 Thread Jeff Squyres (jsquyres)
That's a possibility. IU could probably host this for us. Would you mind looking into how hard this would be? On Oct 3, 2014, at 8:41 AM, Gilles Gouaillardet wrote: > Jeff, > > What about a bot using github's rich REST api that parses PR and > automatically sets label/milestone/assignee wh

Re: [OMPI devel] OMPI devel] OMPI@GitHub: (Mostly) Open for business

2014-10-03 Thread Gilles Gouaillardet
Jeff, What about a bot using github's rich REST api that parses PR and automatically sets label/milestone/assignee when a keyword is found ? for example : PR:milestone=v1.8.4:assignee=jsquyres:label=bug or #milestone=v1.8.4 #assignee=@jsquyres #label=bug i can investigate this way if needed Ch