doc-interne: push comme tuteurs ok

Depuis le compte tuteurs, le push local marche. Le souci dans les autres cas
doit donc être une problème de droits...

doc-interne.tml

@@ -65,13 +65,13 @@
   essaie de faire en sorte que ça marche (mais elle ne marche pas, 
   méthode à éviter pour le moment donc).
 </p>
+-->
    
 <p>
   On peut aussi (ce n'est guère utile qu'aux gens qui n'ont plus de
   compte clipper) cloner le dépôt git sur le compte <code>tuteurs</code>
   lui-même, par exemple dans <code>tmp/moi</code>.
 </p>
--->
 
 <div class="attention">
   <p>