Sergey Sharybin fb3e6ba493 Fix duplicate system users added on every update ...

Was a mistake in the way how key de-duplication and non-phabricator-managed
commit access was dealt with.

For now simple fix: make sure user list is unique. Proper fix would require
something more sophisticated.

2021-03-05 12:05:49 +01:00

..

rebuild_gitolite.php

Fix duplicate system users added on every update

2021-03-05 12:05:49 +01:00