github actions pull request merge commit