Add hint on adjusting .ssh/config for user name on repo.or.cz.

worg-git-ssh-key.org

@@ -72,6 +72,18 @@ So: *use a passphrase* for more security.
 10. Now you must ask the administrator to give you "push"-access: to
     allow you to upload contents to the project.
 
+11. If you chose a user name for repo.or.cz that is different than
+    your login name, you might adjust the ssh client to use the
+    user name for repo.or.cz name when connecting.
+
+    This can be done by putting two lines like these in the file
+    .ssh/config:
+
+    #+begin_src conf
+      Host repo.or.cz
+           User <user at repo.or.cz>
+    #+end_src
+
 * RSA or DSA?
 
 You can decide if at the key creation you want to use the algorithm RSA