On 27 Nov 11:35, Cédric Krier wrote:
> On 27 Nov 10:19, Sharoon Thomas wrote:
> > On 11/27, Cédric Krier wrote:
> > > On 27 Nov 09:32, Sharoon Thomas wrote:
> > > > > @sharoon, is it a possible configuration?
> > > > 
> > > > There is a github user account named tryton-ci which we had setup to try
> > > > and configure continous integration on tryton repositories. I added the
> > > > issue tracker email to the user, but it need verification before it can
> > > > start receiving email alerts for pull requests sent.
> > > 
> > > I don't see this user.
> > 
> > Will rename the user once we set this up and then give access.
> > 
> > > Anyway, we need to create a user for GitHub. Do you know which email
> > > address it uses? I see we receive an email from [email protected] but
> > > is it always the case?
> > 
> > The notifications for pull requests come from [email protected]
> 
> I have not enough knowledge on the propritary GitHub so I can not know
> if it is doable. So I let people who knows it managing it.

Someone could write a small bot using github3.py [1].
The workflow could be:

    - on new pull request:

        - create an issue on roundup
        - attach the patch
        - add a link to the pull request to this new issue
        - store locally link between PL and issue

    - watch frequently the created issue

        - when they are closed:

            - close the PL on github

And it could be the same of issue.

Such bot should be run from the Tryton server (with probably also the
mirroring script which could be triggered by hook on repositories).

I can help to setup the infrastructure but not the writing/testing of
the script.

[1] https://pypi.python.org/pypi/github3.py

-- 
Cédric Krier - B2CK SPRL
Email/Jabber: [email protected]
Tel: +32 472 54 46 59
Website: http://www.b2ck.com/

Attachment: pgp4OOx4AMNye.pgp
Description: PGP signature

Reply via email to