Delete from PULL_REQUEST before deleting repository.