diff --git a/tools/repo_pull/gerrit.py b/tools/repo_pull/gerrit.py
index c2a3c9409..a27982893 100755
--- a/tools/repo_pull/gerrit.py
+++ b/tools/repo_pull/gerrit.py
@@ -334,7 +334,7 @@ def find_gerrit_name():
         name = remote.getAttribute('name')
         review = remote.getAttribute('review')
         if review and name == default_remote_name:
-            return review
+            return review.rstrip('/')
 
     raise ValueError('cannot find gerrit URL from manifest')