[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:       Michał_Górny <mgorny () gentoo ! org>
Date:       2015-09-13 13:37:17
Message-ID: 99BA3D55-626A-4C69-9229-6AB39EE63EE7 () gentoo ! org
[Download RAW message or body]

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.

>
>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


-- 
Best regards,
Michał Górny

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