Experimental trigger for pull-request */merge branches. Github creates pull-request merge branches (refs/heads/*/merge) for every pull request. Such branches point to the merge commit between a base ...