git.gnupg.org: use phabricators clone for access over https
authorJustus Winter <justus@g10code.com>
Mon, 8 May 2017 13:48:34 +0000 (15:48 +0200)
committerJustus Winter <justus@g10code.com>
Mon, 8 May 2017 13:48:34 +0000 (15:48 +0200)
misc/git.gnupg.org/index.html

index c53c961..0909b73 100644 (file)
@@ -119,7 +119,7 @@ Here is a list of shortcuts to often used repositories:
 For actual work you should clone a repository; use
 </p>
 <pre>
-  git clone https://git.gnupg.org/foo.git
+  git clone https://dev.gnupg.org/source/foo.git
 </pre>
 <p>or</p>
 <pre>