prevent committing to a mirror repository
Merge pull request #1038 from ontohub/354-prevent_committing_to_mirror

prevent committing to a mirror repository