Github Close Pull Request Without Merging