Github Close Pull Request Without Merging Vets