ontohub/ontohub — pull request #672 by 0robustus1 (2014-02-11 19:59:28+00:00)
Title: 664 prevent repository renaming

This will prevent renaming a repository after the fact.

It should be somewhat of a fix for #658 and #664.

But i would recommend to integrate proper renaming support later on.