Fix git clone typo in CONTRIBUTING.md (#4568)
commitbaf5a22e8daca60005610d011ea64f66ff5e982d
authorrbasso <rbasso@sharpgeeks.net>
dateTue 6 Nov 2018, 07:59 (8 years ago)
parent62b7aab
CONTRIBUTING.md+1−1
@@ -83,7 +83,7 @@ For those new to the project:
83832. Clone your fork to your local machine:
8484
8585```
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
8787```
8888
89893. Add `idris-lang/Idris-dev` as a remote upstream