OK great. BTW I'm about to create a jenkins plugin. The idea is ...trigger builds when there are pull requests ...merge the revisions of the pull request ...push the merge if successful