Hi Hillebrand, I've added several comments to your pull request. I would not vote for merging it in the current state.
BTW you can always ping the plugin maintainers if you feel the pull request hangs. Mark performs the most of maintenance work for Git plugin (which is one of the most hottest ones), so there may be slight response delays due to many activities. Best regards, Oleg четверг, 30 июля 2015 г., 10:15:35 UTC+3 пользователь [email protected] написал: > > 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/6f841aab-1e68-4cd2-9eb8-5c5897e53504%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
