[PATCH 4/4] ci/update-repos: always pass the latest URL

Instead of assuming that the repository was created with the latest URL,
fetch the repository explicitly when fetching.

Signed-off-by: Ross Burton <[email protected]>
---
 ci/update-repos | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/update-repos b/ci/update-repos
index ef69ee45..c44246cc 100755
--- a/ci/update-repos
+++ b/ci/update-repos
@@ -44,7 +44,7 @@ if __name__ == "__main__":
         if repodir.exists():
             try:
                 print("Updating %s..." % repo)
-                subprocess.run(["git", "-C", repodir, "-c", "gc.autoDetach=false", "fetch"], check=True)
+                subprocess.run(["git", "-C", repodir, "-c", "gc.autoDetach=false", "fetch", repo], check=True)
             except subprocess.CalledProcessError as e:
                 print(e)
                 failed = True
-- 
2.43.0