Use git repository name from uri. not from repo name

2013-11-14 00:09:40 +06:00
parent 7a5588a408
commit 1f2471fa67
1 changed files with 3 additions and 1 deletions
--- a/scripts/gitadmin/rebuild_gitadmin.php
+++ b/scripts/gitadmin/rebuild_gitadmin.php
@@ -93,12 +93,14 @@ function handleSingleRepository(
  }

  if (count($members)) {
+    $uri = $repository->getRemoteURI() . '.git';
+    $repository_name = basename($uri, '.git');
    $escaped_repository_name = escape_name($repository->getName());
    $group_name = "PHAB_${escaped_repository_name}";
    $values = array();
    $values['members'] = join(' ', $members);
    $values['readonly'] = '@all';
-    $values['writable'] = strtolower($repository->getName());
+    $values['writable'] = $repository_name;
    $new_configuration["group $group_name"] = $values;
  }
 }