gawkworkflow: ssh clone

 
 5.2 Cloning The Repo With An 'ssh' URL
 ======================================
 
 In order to be able to commit changes to the repo, you must clone it
 using an 'ssh://' URL. Cloning the repo with 'ssh' is similar to cloning
 with the Git protocol or with HTTP, but the URL is different:
 
      $ git clone ssh://yourname@git.sv.gnu.org/srv/git/gawk.git
      -| ...
 
    Here, you should replace 'yourname' in the command with the user name
 you chose for use on Savannah.