adding .gitignore, will this remove .pxi files from the repo?