test if a file already in the repo can be ignored. First push the file