gitea-1156/conf/gitignore/Idris