James Turnbull <[email protected]> writes: > Luke Kanies wrote: >> On Jan 15, 2009, at 11:55 AM, Paul Lathrop wrote: >> >>> Hey devs, >>> >>> I was wondering if people thought it might be a good idea to host the >>> official git repo on GitHub. I don't have a strong opinion on this, I >>> just thought it might be nice to have access to some of GitHub's >>> features that we would get if we could 'fork' the project on GitHub to >>> create our developer repositories. The last time we talked about this, >>> GitHub was having growing pains, but they have been quite stable >>> recently. >>> >>> Anyway, I mentioned this to Luke and he suggested I bring it up for >>> discussion. What do you think? >> >> Just for the record, I'm completely fine with this; I'd want to use a >> non-human account like 'reductivelabs' or something, but otherwise, it >> doesn't matter where it is. Hopefully at some point Github will add >> all kinds of interesting graphs and stats, too, so that would be even >> more compelling. >> > > I have no major issues but some concerns: > > Availability and stability - we've had some issues with this in the past > on Github. Be annoying if GitHub deadpooled too. > > Communication - the stable repository has been at RL, my Github, now > back at RL. If we make this change we need to make sure everyone gets > the message. Personally, I'd be a little confused.
What about leaving the repository where it is, and start to also push to GitHub in parallel. That way the repository doesn't have to move again, and you get the GitHub features. micah --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Puppet Developers" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/puppet-dev?hl=en -~----------~----~----~----~------~----~------~--~---
