Merge "Strip gerrit url trailing slash"

2020-08-07 06:24:03 +00:00
parent 597cd11a26 36d90eeea2
commit 38280c6b55
1 changed files with 1 additions and 1 deletions
--- 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')