GH doesn't fall over often, so that's less and less of a reason. But
there's still a nice feeling of security in being able to pull from
our own repo. The other day, I could't reach most of Rackspace due to
routing problems on the wider internet. I was able to reach JRuby.org
fine. Anyway, probably not a strong reason.

The amount of clones and pulls we do in response to CI is perhaps a
better reason, but that could be mitigated by maintaining a local
clone and recloning from that, as we do in a couple builds (but maybe
not enough of them.

As for pulls, you can still pull them directly in as long as you
maintain github as a remote in your repo. It's not a single step, but
it's only like three steps...

1. Hit the merge button
2. Pull github/master on your local system
3. Push origin/master (jruby.org) from your local system

In any case, merging pull requests without testiing locally is
strongly discouraged :)

- Charlie

On Mon, Jan 9, 2012 at 7:32 PM, Wayne Meissner <wmeiss...@gmail.com> wrote:
> How often does github fall over these days?
>
> At least one major advantage to having github as the primary repo
> (with a mirror on EC2 for the CI & backup), is the ability to trivally
> merge pull requests.  It reduces the friction for contributions
> significantly.
>
> As for the JIRA -> GH issues migration .. I agree, as much as I still
> generally prefer JIRA, GH issues sucks an order of magnitude less than
> it did when I first started using github.
>
>
> On 10 January 2012 06:01, Charles Oliver Nutter <head...@headius.com> wrote:
>> Mostly it's so we're not beholden to a server we don't control for our
>> source repository. GH occasionally has issues due to its size, and
>> jruby.org is dedicated to just our use.
>>
>> We also do a ton of cloning in our CI server, which is a lot faster if
>> we're going from EC2 to EC2.
>>
>> - Charlie
>>
>> On Mon, Jan 9, 2012 at 1:44 PM, Uwe Kubosch <u...@kubosch.no> wrote:
>>> Hi!
>>>
>>> I've been meaning to ask:  Why do we have a separate GIT repository?  Why 
>>> is the GitHub repository not the master repository?
>>>
>>>
>>> --
>>> Uwe Kubosch
>>> http://jruby.org/
>>>
>>>
>>>
>>>
>>> ---------------------------------------------------------------------
>>> To unsubscribe from this list, please visit:
>>>
>>>    http://xircles.codehaus.org/manage_email
>>>
>>>
>>
>> ---------------------------------------------------------------------
>> To unsubscribe from this list, please visit:
>>
>>    http://xircles.codehaus.org/manage_email
>>
>>
>
> ---------------------------------------------------------------------
> To unsubscribe from this list, please visit:
>
>    http://xircles.codehaus.org/manage_email
>
>

---------------------------------------------------------------------
To unsubscribe from this list, please visit:

    http://xircles.codehaus.org/manage_email


Reply via email to