Github Close Pull Request Without Merging Pdf