ontohub/ontohub — pull request #1038 by eugenk (2014-09-09 12:55:27+00:00)
Title: prevent committing to a mirror repository

shall fix #354