Thank you Oleg for reviewing the changes. I do not want to apear impatient about the response to my pull request. In the automatic reply from jenkinsadmin is referred to this document <http://jenkins-ci.org/pull-request-greeting>. It states *if your pull request doesn't seem to be getting any attention after a week or so. *It does not mention the possibility to ping maintainers. I will make some modifications and submit it for review again.
Regards , Hillebrand Op donderdag 30 juli 2015 09:15:35 UTC+2 schreef [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/4212ab49-5586-458a-9179-d858f2dc5881%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
