diff --git a/scripts/gitolite/rebuild_gitolite.php b/scripts/gitolite/rebuild_gitolite.php index bc2dd4fce5..1e4045cc1d 100755 --- a/scripts/gitolite/rebuild_gitolite.php +++ b/scripts/gitolite/rebuild_gitolite.php @@ -66,6 +66,8 @@ class Configuration { $this->config_file = "$gitolite_root/conf/gitolite.conf"; $this->collectSystemPublicKeys(); + + $this->used_keys = array(); $this->committers = array(); if (!file_exists($this->config_file)) { @@ -121,8 +123,10 @@ class Configuration { $variable_name = trim($parts[0]); if (array_key_exists($variable_name, $this->committers)) { $system_committers = $this->getNonPhabtricatorUsers($parts[1]); - $committers = implode(' ', array_merge( - $system_committers, $this->committers[$variable_name])); + $all_committers = array_merge( + $system_committers, $this->committers[$variable_name]); + $unique_committers = array_unique($all_committers); + $committers = implode(' ', $unique_committers); $line = "$variable_name = $committers"; } }