Github Approve Pull Request Vs Merge