Moving to the new repo address - hosted by opencord

Change-Id: I64f85d66629512ee14613eec129a684507737589
(cherry picked from commit b02161b6ffb81004e51125ff2dc9ded62a89d685)
diff --git a/scripts/cord-bootstrap.sh b/scripts/cord-bootstrap.sh
index 08e38f1..969ffc2 100755
--- a/scripts/cord-bootstrap.sh
+++ b/scripts/cord-bootstrap.sh
@@ -59,8 +59,8 @@
   then
     echo "Installing repo..."
     # v1.23, per https://source.android.com/source/downloading
-    REPO_SHA256SUM="e147f0392686c40cfd7d5e6f332c6ee74c4eab4d24e2694b3b0a0c037bf51dc5"
-    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