Lock repository


Hints:
When a repository is locked, only the users that have "Lock" rights will be able to push into it.
You may want to lock a repo to repair bad pushes.
Any feedback regarding what more this feature should do is really appreciated!