Deny non-fast-forward push for developers

Created by: choehwanjin

Current gitlab implementation adds a developer with "RW+" gitolite permission. According to the gitolite manual, "RW+" permission allows ref deletion. This means every "developer" in gitlab can delete history of their project.

In my opinion, this behavior is dangerous. I suggest to use "RW" permission for developers and "RW+" for project masters.