We have been running pull #22, on top of 2.16 in our production environment for several months, so I would say it’s safe to merge that, unless the merge would cause some damage. And thanks for fixing my issue! I was about to upload a fix myself a while back when I noticed your pull request ☺
Robert Sandell Software Tools Engineer - SW Environment and Product Configuration Sony Mobile Communications From: [email protected] [mailto:[email protected]] On Behalf Of cjo Sent: den 25 januari 2013 13:40 To: [email protected] Subject: Pending Pull requests on parameterized trigger plugin As huybrechts seems to be away doing other stuff, Can some one look at the 12 Pull requests on the parameterized-trigger-plugin. https://github.com/jenkinsci/parameterized-trigger-plugin/pulls I will merge these into the master and make a release but seeing as many of these requests are mine, I would like a second opinion on whether there is anything missing/incorrect. before this is done seeing as this plugin is critical in many use cases. And in future I will take over as maintainer, if huybrechts does not seem to mine. Chris cjo9900 on jenkins-ci and github. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group, send email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
