chore: remove ssh repos information from setup-dev.md (#191)

# What ❔ Removes a leftover code from private repo times.
matter-labs · Oct 11, 2023 · 3776247 · 3776247
1 parent 64459b2
commit 3776247
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/docs/setup-dev.md b/docs/setup-dev.md
@@ -15,16 +15,6 @@ Rosetta may cause problems that are hard to spot and debug, so make sure to chec
 
 If you are a NixOS user or would like to have a reproducible environment, skip to the section about `nix`.
 
-## `git`
-
-If you are using an ssh key to authenticate with Github you need to make git always use ssh instead of http.
-
-```bash
-git config --global url."ssh://[email protected]/".insteadOf https://github.com/
-```
-
-[More information about how we use git](https://www.notion.so/matterlabs/Working-with-dependencies-in-private-repositories-697620178338452798a0ea5ac0d8e56a)
-
 ## `Docker`
 
 Install `docker`. It is recommended to follow the instructions from the