"Clone this repository" URLs pointing to Gerrit have an extra "/p"
Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=430659
diff --git a/commits/repositories.php b/commits/repositories.php
index 71c8fb9..4f39e11 100644
--- a/commits/repositories.php
+++ b/commits/repositories.php
@@ -167,7 +167,7 @@
function getGerritUrl($path) {
preg_match('/\/gitroot\/(.+)\.git$/', $path, $matches);
$partial = $matches[1];
- $gerrit = "https://git.eclipse.org/r/p/$partial";
+ $gerrit = "https://git.eclipse.org/r/$partial";
$known = getGerritRepositoryData();
if (isset($known[$partial])) return $gerrit;