auto merge pull request github actions