Github Actions Pull Request Vs Merge