Not to be a pest, but um...whatever happened with this? Seemed like the response was pretty unanimously in favour.
On Monday, April 9, 2012 2:09:07 PM UTC-7, Michael Stanhke wrote: > > Since our move to github for pull requests and patches, the usefulness > of puppet-dev has declined significantly. puppet-dev used to be a > great list for development discussion of puppet and the ecosystem > around it. With the information and pull request emails from github, > unless everybody has finely-tuned their email clients, the puppet-dev > list has turned into mostly noise. > > We have a goal to foster development discussion from the community. > Because of that, I am proposing we move the github notifications to a > new list, puppet-commits. I realize this may have a consequence of > reducing patch/commit discussion. This should be compensated by: > > 1. Still having a list where pull requests can be commented on > 2. Ability to comment on pull requests directly on github > 3. More forethought and discussion on the dev list prior to making a > pull request/patch. > 4. You can also watch the RSS feed for the puppet projects you have > the most interest in. > > This decision isn't final, but I would like to get opinions on the > idea. I welcome feedback until Friday, April 13. > > > Michael Stahnke > Community Manager > > -- You received this message because you are subscribed to the Google Groups "Puppet Users" group. To view this discussion on the web visit https://groups.google.com/d/msg/puppet-users/-/6zO7qOk7lgMJ. To post to this group, send email to puppet-users@googlegroups.com. To unsubscribe from this group, send email to puppet-users+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/puppet-users?hl=en.
