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
