Hi all, I made some minor modifications to the merge before build feature of the git-plugin to merge from another branch into the current and push the merge result to the current branch after the build is completed. I created a pull request <https://github.com/jenkinsci/git-plugin/pull/332> on june 25th, but it has been quite since.
It is not a major change and it has good test coverage, so i think it can be merged in absence of a review. Can i get commit access to the git-plugin repository? My GitHub accountname is hillebrand. Regards , Hillebrand Gelderblom -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/bfa6c39f-059b-484e-a491-629a84b6d881%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
