[github] Delete a closed pull request from GitHub