go-gitea/options/gitignore/PureScript