diff --git a/docs/development-shell.md b/docs/development-shell.md
index 5628d57..2b7d6c6 100644
--- a/docs/development-shell.md
+++ b/docs/development-shell.md
@@ -3,9 +3,16 @@
 Clone this repository:
 
 ```
-git clone https://git.pub.solar/pub-solar/infra-new.git
+git clone https://git.pub.solar/pub-solar/infra.git
+cd infra
 ```
 
 then, install [the package manager nix](https://nixos.org/download).
 
-Finally, run `nix develop` in this repo. This will install a development shell that has all required tooling available.
+Finally, run:
+
+```
+nix develop
+```
+
+This will install a development shell (devshell) with all required tools.