From 37762471a8aee1a6392fe7dd6215cdae46e880c8 Mon Sep 17 00:00:00 2001 From: Fedor Sakharov Date: Wed, 11 Oct 2023 20:08:27 +0200 Subject: [PATCH] chore: remove ssh repos information from setup-dev.md (#191) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit # What ❔ Removes a leftover code from private repo times. --- docs/setup-dev.md | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/docs/setup-dev.md b/docs/setup-dev.md index ea7289b902e..b9f806b50a4 100644 --- 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://git@github.com/".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