From 8a28032adf18597ecc9d28bd915f2db4ce80404c Mon Sep 17 00:00:00 2001 From: Jose Quaresma Date: Thu, 21 Nov 2024 18:38:25 +0000 Subject: [PATCH] helpers: repo_sync: bump repo v2.35 -> v2.54 Signed-off-by: Jose Quaresma --- helpers.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helpers.sh b/helpers.sh index c5acc749..c41960ac 100644 --- a/helpers.sh +++ b/helpers.sh @@ -94,7 +94,7 @@ function repo_sync { git config --global http.https://${domain}/factories.extraheader "$(cat /secrets/git.http.extraheader)" fi - repo_sync_helper 1m repo init --repo-rev=v2.35 --no-clone-bundle -u $* ${REPO_INIT_OVERRIDES} + repo_sync_helper 1m repo init --repo-rev=v2.54 --no-clone-bundle -u $* ${REPO_INIT_OVERRIDES} repo_sync_helper 4m repo sync if [ -d "$archive" ] ; then