no, this should be into your user gitignore.