If your GitHub repository is inundated with pull requests, you can delete them quickly in a few easy steps.