-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 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. Cheers James - -- Author of: * Pulling Strings with Puppet (http://www.amazon.com/gp/product/1590599780/) * Pro Nagios 2.0 (http://www.amazon.com/gp/product/1590596099/) * Hardening Linux (http://www.amazon.com/gp/product/1590594444/) -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFJcAHK9hTGvAxC30ARAtNrAJ4rN57fYqrgBC1XwhobRx/7/ogYtgCeNcKn IKvoh0F6cqDi1McVdFJFLlU= =bbM8 -----END PGP SIGNATURE----- --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
