Browse Source

Update fecth/push urls for git.debian.org

Emmanuel Bouthenot 12 years ago
parent
commit
6d692962c6
1 changed files with 3 additions and 3 deletions
  1. 3 3
      .gitconfig

+ 3 - 3
.gitconfig

@@ -40,6 +40,6 @@
 
 # git.debian.org specifics
 [url "git://anonscm.debian.org"]
-    insteadOf = "git://git.debian.org"
-[url "ssh://git.debian.org"]
-    pushInsteadOf = "git://git.debian.org"
+    insteadOf = git://git.debian.org
+[url "ssh://git.debian.org/git"]
+    pushinsteadof = git://git.debian.org