Github Close Pull Request Without Merging Synonym List