Sample git quick start:

git clone <%= example.push_url %> <%= example.name unless example.push_url.match(/:(\S+)\.git$/).andand[1] == example.name %>
cd <%= example.name %>
# edit files
git add the/files/you/changed
git commit
git push

See also: <%= link_to raw('Arvados Docs → User Guide → SSH access'), "#{Rails.configuration.arvados_docsite}/user/getting_started/ssh-access.html", target: "_blank"%> and <%= link_to raw('Arvados Docs → User Guide → Writing a Crunch Script'), "#{Rails.configuration.arvados_docsite}/user/tutorials/tutorial-firstscript.html", target: "_blank"%>.