git.iko.soy/Idris-dev
on master help sign in
Fix git clone typo in CONTRIBUTING.md (#4568)
baf5a22rbasso
CONTRIBUTING.md+1−1
compare with master
unifiedsplit
@@ -83,7 +83,7 @@ For those new to the project:
832. Clone your fork to your local machine:
832. Clone your fork to your local machine:
84
84
85```
85```
86−$ git clone git@github.com/<your github user name>/Idris-dev.git
86+$ git clone git@github.com:<your github user name>/Idris-dev.git
87```
87```
88
88
893. Add `idris-lang/Idris-dev` as a remote upstream
893. Add `idris-lang/Idris-dev` as a remote upstream