There is no need for developers with write access to clone
publicly-visible repositories over ssh.
Instead, developers can clone the publicly-visible repositories like
everyone else does, and can just update the pushurl, so that pushes
are sent over ssh, while pulls don't require access to the developer's
credentials.
---
 wiki/src/contribute/git.mdwn | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/wiki/src/contribute/git.mdwn b/wiki/src/contribute/git.mdwn
index 5bc6754..e83c3f4 100644
--- a/wiki/src/contribute/git.mdwn
+++ b/wiki/src/contribute/git.mdwn
@@ -81,9 +81,9 @@ Anyone can check it out like this:
 
     git clone https://git-tails.immerda.ch/tails
 
-Developers with write access to the repositories should instead:
+Developers with write access to the repositories should then `cd` into the local repository and do:
 
-    git clone boum_org_amnesia@???:wiki.git
+    git config remote.origin.pushurl boum_org_amnesia@???:wiki.git
 
 We have a [web interface](
https://git-tails.immerda.ch/tails/)
 available for the main repository.
@@ -171,9 +171,9 @@ Anyone can check it out like this:
 
     git clone https://git-tails.immerda.ch/promotion-material
 
-Developers with write access to the repositories should instead:
+Developers with write access to the repositories should then `cd` into the local repository and do:
 
-    git clone boum_org_amnesia@???:promotion-material.git
+    git config remote.origin.pushurl boum_org_amnesia@???:promotion-material.git
 
 We have a [web interface](
https://git-tails.immerda.ch/promotion-material/)
 available for the promotion material repository.
@@ -199,9 +199,9 @@ Anyone can check it out like this:
 
     git clone git://git.puppet.tails.boum.org/puppet-tails
 
-Developers with write access to the repositories should instead:
+Developers with write access to the repositories should then `cd` into the local repository and do:
 
-    git clone gitolite@???:puppet-tails
+    git config remote.origin.pushurl gitolite@???:puppet-tails
 
 ### Other Puppet modules
 
@@ -238,6 +238,6 @@ Unauthenticated access is of the form:
 
     git clone https://git-tails.immerda.ch/$REPOSITORY
 
-Developers with write access to the repositories should instead:
+Developers with write access to the repositories should then `cd` into the local repository and do:
 
-    git clone tails@???:$REPOSITORY
+    git config remote.origin.pushurl tails@???:$REPOSITORY
-- 
2.1.4