diff --git a/docs/build/html/getting-set-up.html b/docs/build/html/getting-set-up.html
index 38b103e36e..a63cff0b72 100644
--- a/docs/build/html/getting-set-up.html
+++ b/docs/build/html/getting-set-up.html
@@ -162,7 +162,7 @@
 then clicking &#8220;Install JetBrains plugin&#8221;, then searching for Kotlin, then hitting &#8220;Upgrade&#8221; and then &#8220;Restart&#8221;.</p>
 <p>Choose &#8220;Check out from version control&#8221; and use this git URL</p>
 <blockquote>
-<div><a class="reference external" href="https://your_username&#64;bitbucket.org/R3-CEV/r3repository.git">https://your_username&#64;bitbucket.org/R3-CEV/r3repository.git</a></div></blockquote>
+<div><a class="reference external" href="https://your_username&#64;bitbucket.org/R3-CEV/r3prototyping.git">https://your_username&#64;bitbucket.org/R3-CEV/r3prototyping.git</a></div></blockquote>
 <p>Agree to the defaults for importing a Gradle project. Wait for it to think and download the dependencies.</p>
 <p>Right click on the tests directory, click &#8220;Run -&gt; All Tests&#8221; (note: NOT the first item in the submenu that has the
 gradle logo next to it).</p>
@@ -260,4 +260,4 @@ found at something like</p>
    
 
 </body>
-</html>
\ No newline at end of file
+</html>