Repository details
From Ontohub
This is the main page of a repository. You can
- edit or delete the repository (top-right buttons)
- view the ontologies, the files or the history of the repository
- add ontology URLs that should be substituted by other URLs
- view and change the permissions of the repository, i.e. who can edit it
- list the errors that Ontohub has found in the repository's ontologies
- get a URL for cloning the repository with git. There are two URLs: one for read access, and one for read and write access. For deatils, see git.