How can a pull request on github be cancelled?
See Question&Answers more detail:osGitHub now supports closing a pull request
Basically, you need to do the following steps:
Example (button on the very bottom):
This way the pull request gets closed (and ignored), without merging it.