Moving to the new repo address - hosted by opencord
Change-Id: I64f85d66629512ee14613eec129a684507737589
(cherry picked from commit b02161b6ffb81004e51125ff2dc9ded62a89d685)
diff --git a/scripts/cord-in-a-box.sh b/scripts/cord-in-a-box.sh
index d0ba20f..4778102 100755
--- a/scripts/cord-in-a-box.sh
+++ b/scripts/cord-in-a-box.sh
@@ -81,8 +81,8 @@
if [ ! -x "/usr/local/bin/repo" ]
then
echo "Installing repo..."
- REPO_SHA256SUM="e147f0392686c40cfd7d5e6f332c6ee74c4eab4d24e2694b3b0a0c037bf51dc5" # not versioned...
- curl -o /tmp/repo https://storage.googleapis.com/git-repo-downloads/repo
+ REPO_SHA256SUM="394d93ac7261d59db58afa49bb5f88386fea8518792491ee3db8baab49c3ecda"
+ curl -o /tmp/repo 'https://gerrit.opencord.org/gitweb?p=repo.git;a=blob_plain;f=repo;hb=refs/heads/stable'
echo "$REPO_SHA256SUM /tmp/repo" | sha256sum -c -
sudo mv /tmp/repo /usr/local/bin/repo
sudo chmod a+x /usr/local/bin/repo