For merging pull requests on github or elsewhere