keep the devel repository safe with a ".gitignore" file