diff --git a/doc/manual/expressions/builtins.xml b/doc/manual/expressions/builtins.xml
index 6f3c4e3d0..873f30b06 100644
--- a/doc/manual/expressions/builtins.xml
+++ b/doc/manual/expressions/builtins.xml
@@ -402,17 +402,10 @@ stdenv.mkDerivation { … }
Fetching a private repository over SSH
builtins.fetchGit {
- url = "ssh://git@github.com/my-secret/repository.git";
+ url = "git@github.com:my-secret/repository.git";
ref = "master";
rev = "adab8b916a45068c044658c4158d81878f9ed1c3";
}
-
-
- Note the URL format is not the same as git
- clone. builtins.fetchGit uses
- a / instead of a :
- between github.com and
- my-secret.