Github Pull Request Merge Options