Gentoo Archives: gentoo-dev

From: "Michał Górny" <mgorny@g.o>
To: gentoo-dev@l.g.o, Jason Zaman <perfinion@g.o>
Subject: Re: [gentoo-dev] RFI: A better workflow for github pull requests
Date: Sun, 13 Sep 2015 13:37:59
Message-Id: 99BA3D55-626A-4C69-9229-6AB39EE63EE7@gentoo.org
In Reply to: Re: [gentoo-dev] RFI: A better workflow for github pull requests by Jason Zaman
1 Dnia 13 września 2015 11:48:54 CEST, Jason Zaman <perfinion@g.o> napisał(a):
2 >On Sat, Sep 12, 2015 at 09:12:25PM +0200, Michał Górny wrote:
3 >> Potential solution: bi-dir github <=> bugzilla integration
4 >> ==========================================================
5 >>
6 >> My current idea would be pretty much that:
7 >>
8 >> 1. a new dedicated Gentoo bug would be automatically created for
9 >every
10 >> pull request on github,
11 >
12 >Will this be only github PR's? will github issues be mirrored too? or
13 >are the issues not supposed to be used on github at all?
14
15 Issues are already disabled and I don't see any point in enabling them.
16
17 >
18 >Also, I think the new bugzie version allows multiple aliases on a bug,
19 >so can we automomatically assign them github-pr-123 and
20 >github-issue-234
21 >etc?
22
23 Sounds good.
24
25 >
26 >> What are your thoughts? Any other proposals?
27 >
28 >Overall I like the idea. I think the quoting and other issues can be
29 >fixed in an acceptable way.
30 >
31 >-- Jason
32
33
34 --
35 Best regards,
36 Michał Górny

Replies

Subject Author
Re: [gentoo-dev] RFI: A better workflow for github pull requests Brian Dolbec <dolsen@g.o>