Moving to the new repo address - hosted by opencord

Change-Id: I64f85d66629512ee14613eec129a684507737589
(cherry picked from commit b02161b6ffb81004e51125ff2dc9ded62a89d685)
diff --git a/docs/getting_the_code.md b/docs/getting_the_code.md
index 8c421e6..dc14d4f 100644
--- a/docs/getting_the_code.md
+++ b/docs/getting_the_code.md
@@ -12,12 +12,14 @@
 using the following commands which download/verify/install it:
 
 ```sh
-curl -o /tmp/repo https://storage.googleapis.com/git-repo-downloads/repo
-echo 'e147f0392686c40cfd7d5e6f332c6ee74c4eab4d24e2694b3b0a0c037bf51dc5  /tmp/repo' | sha256sum -c -
+curl -o /tmp/repo 'https://gerrit.opencord.org/gitweb?p=repo.git;a=blob_plain;f=repo;hb=refs/heads/stable'
+echo '394d93ac7261d59db58afa49bb5f88386fea8518792491ee3db8baab49c3ecda  /tmp/repo' | sha256sum -c -
 sudo mv /tmp/repo /usr/local/bin/repo
 sudo chmod a+x /usr/local/bin/repo
 ```
 
+**NOTE**: As mentioned above, you may want to install *repo* using the official repository instead. We forked the original repository and host a copy of the file to make repo downloadable also by organizations that don't have access to Google servers.
+
 ## Download CORD repositories
 
 The `cord` repositories are usually checked out to `~/cord` in most of our
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
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