gitignore doesn’t apply to already tracked files, so that part of the last commit was useless