forgejo-federation/options/gitignore/Agda