removing a patch that is already in the repository