update link to repo install doc

As of writing this PR, the link to the repo installation documentation redirects to a page titled “Download the Android source,” which does not include instructions on how to install the repo. Therefore, we would like to use a different link for the installation instructions. Signed-off-by: daichifukui <[email protected]>
seL4 · Sep 9, 2024 · 44242e2 · 44242e2
1 parent 68aea3a
commit 44242e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/projects/buildsystem/host-dependencies.md b/projects/buildsystem/host-dependencies.md
@@ -17,7 +17,7 @@ The following instructions describe how to set up the required dependencies on y
 
 ## Get Google's Repo tool
 
-The primary way of obtaining and managing seL4 project source is through the use of Google's repo tool. To get repo, follow the instructions described in the section “Installing Repo” [here](https://source.android.com/setup/develop#installing-repo).
+The primary way of obtaining and managing seL4 project source is through the use of Google's repo tool. To get repo, follow the instructions described in the section “Install” [here](https://gerrit.googlesource.com/git-repo#install).
 
 See the [RepoCheatsheet](repo-cheatsheet) page for a quick explanation of how we use Repo.