Jeff,
one last thing ...
could you please make sure you (since you have write access to
ompi-release) can assign an issue to me (since i do not have write
access to ompi-release *but* i am part of the open-mpi organization)
/* i think we already validated this on a sandbox, but i would like to
b
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)
> https://developer.github.com/webhooks/securing/
>
> Cheers,
>
>
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:
> On Oct 7, 2014, at
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 be to ensure that appropriate se
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 elegant way would be to use webho
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 Gouailla
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 ea
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,
>>
>> What about a bot using github's rich REST api that
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
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
10 matches
Mail list logo
