github actions pull request merge branch