gawkworkflow: ssh clone

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