forkjo/conf/gitignore/Idris