I would prefer removing the file and merging the PR.