Mirror

Normally, repositories are hosted at Ontohub. However, it is also possible to mirror an existing git or subversion repository, which is copied once a day to Ontohub. At Ontohub, mirrored repositories are read-only - you should alter the original, not the copy.