[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gentoo-dev
Subject:    Re: [gentoo-dev] RFI: A better workflow for github pull requests
From:       Brian Dolbec <dolsen () gentoo ! org>
Date:       2015-09-14 6:56:49
Message-ID: 20150913235649.0378a380.dolsen () gentoo ! org
[Download RAW message or body]

On Sun, 13 Sep 2015 15:37:17 +0200
Michał Górny <mgorny@gentoo.org> wrote:

> Dnia 13 września 2015 11:48:54 CEST, Jason Zaman
> <perfinion@gentoo.org> napisał(a):
> >On Sat, Sep 12, 2015 at 09:12:25PM +0200, Michał Górny wrote:
> >> Potential solution: bi-dir github <=> bugzilla integration
> >> ==========================================================
> >> 
> >> My current idea would be pretty much that:
> >> 
> >> 1. a new dedicated Gentoo bug would be automatically created for
> >every
> >> pull request on github,
> >
> >Will this be only github PR's? will github issues be mirrored too? or
> >are the issues not supposed to be used on github at all?
> 
> Issues are already disabled and I don't see any point in enabling
> them.
> 

I've been doing github api work in my new job.  Pull-requests ARE
issues, just a special version of an issue is all.  Your suppose to be
able to call up the pull request number using the same number in an
issue call.

Do you mean the issue tracker is disabled?  Then they are only allowing
pull request issues, not general issues.

> >
> >Also, I think the new bugzie version allows multiple aliases on a
> >bug, so can we automomatically assign them github-pr-123 and
> >github-issue-234
> >etc?
> 
> Sounds good.
> 
> >
> >> What are your thoughts? Any other proposals?
> >
> >Overall I like the idea. I think the quoting and other issues can be
> >fixed in an acceptable way.
> >
> >-- Jason
> 
> 



-- 
Brian Dolbec <dolsen>


[prev in list] [next in list] [prev in thread] [next in thread]