"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;