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? --Paul --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
