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