Rename file temporarily to make pull request work better