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

2014-10-07 Thread Jeff Squyres (jsquyres)
Sounds perfect. On Oct 7, 2014, at 9:49 AM, Gilles Gouaillardet wrote: > Jeff, > > that should not be an issue since github provides the infrastructure to > filter bozo requests (requests are sha1 signed with a shared secret) >

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

2014-10-07 Thread Gilles Gouaillardet
Jeff, that should not be an issue since github provides the infrastructure to filter bozo requests (requests are sha1 signed with a shared secret) https://developer.github.com/webhooks/securing/ Cheers, Gilles On Tue, Oct 7, 2014 at 9:46 PM, Jeff Squyres (jsquyres) wrote:

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

2014-10-07 Thread Jeff Squyres (jsquyres)
On Oct 7, 2014, at 6:57 AM, Gilles Gouaillardet wrote: > so far, using webhooks looks really simple :-) Good! > a public web server (apache+php) that can > a) process json requests > b) issue curl requests > is required strictly speaking. My only request would

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

2014-10-07 Thread Jeff Squyres (jsquyres)
On Oct 5, 2014, at 10:55 PM, Gilles Gouaillardet wrote: > i gave it a little thoughts and that does not seem to hard to achieve. Great. > ghi https://github.com/stephencelis/ghi is a cli to manage (among other > things) labels, milestones and assignee > > the

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

2014-10-07 Thread Gilles Gouaillardet
Jeff, here is a quick update : so far, using webhooks looks really simple :-) a public web server (apache+php) that can a) process json requests b) issue curl requests is required strictly speaking. i will keep working on a proof of concept Cheers, Gilles On 2014/10/06 11:55, Gilles

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

2014-10-05 Thread Gilles Gouaillardet
Jeff, i gave it a little thoughts and that does not seem to hard to achieve. ghi https://github.com/stephencelis/ghi is a cli to manage (among other things) labels, milestones and assignee the elegant way would be to use webhooks and act accordingly (short version: github issue a json request

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

2014-10-03 Thread Gilles Gouaillardet
will do ! Gilles "Jeff Squyres (jsquyres)" wrote: >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, >>

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

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