[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:       Rich Freeman <rich0 () gentoo ! org>
Date:       2015-09-14 1:44:45
Message-ID: CAGfcS_mK_C084hc6OE-x0x3guN9e8GgAdEzJQwt7Xf=wriHtzA () mail ! gmail ! com
[Download RAW message or body]

On Sun, Sep 13, 2015 at 9:02 PM, Raymond Jennings <shentino@gmail.com> wrote:
> I agree.  I think that any "master" version of whatever repo we use should
> be hosted on gentoo owned infrastructure.
>
> Github might be allowed to take pull requests but I think it should be a
> slave to whatever's hosted on gentoo.
>
> That way if anything gets screwed up on github gentoo could always hit the
> big fat reset button on gitub

That is essentially all that is being proposed.  The pull request
system already exists on github.  Really all the proposal is about is
better integrating it with bugzilla, which if anything makes the
content more accessible via FOSS tools.

Counter-intuitively, the repo itself is actually the part that
concerns me the least.  With git the local clone you keep on your
desktop is just as suitable as any other copy of the repo should we
ever have to hit the reset button.  The part that isn't distributed is
all the comments, discussion, issues, review, etc which generally goes
into bugzilla.  If that were also a distributed database I'd have few
concerns about where that was hosted, since we're essentially talking
about the hosting only.

-- 
Rich

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

Configure | About | News | Add a list | Sponsored by KoreLogic