A mistake

Sorry, I’m a Github noob. It seems it’s not possible to cancel Pull Request…