F -- I've made yet more savings compared to the solution presented in this > thread earlier and posted the patch to #4832. > > In order to make a regular pull request, is it advisable and welcome to > make a github branch? >
Yes, a branch is good but we don't generally work in terms of pull requests. See http://projects.puppetlabs.com/projects/puppet/wiki/Development_Lifecycle -- though it's in the middle of getting a rewrite / update, the existing version gives you a good overview of our process. I look forward to seeing what you've got (& will push to get it in 2.6.3, which unfortunately will be coming out soon). -- M ----------------------------------------------------------- The power of accurate observation is commonly called cynicism by those who have not got it. ~George Bernard Shaw ------------------------------------------------------------ -- 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.
