.gitignore, that got lost in the minting process