add repository usage example and doc link

diff --git a/apps/workbench/app/views/repositories/index.html.erb b/apps/workbench/app/views/repositories/index.html.erb
new file mode 100644 (file)
index 0000000..1872c23
--- /dev/null
+++ b/apps/workbench/app/views/repositories/index.html.erb
@@ -0,0 +1,23 @@
+<%= render partial: 'application/index' %>
+
+<% if (example = @objects.select(&:push_url).first) %>
+
+<p>
+Sample git quick start:
+</p>
+
+<pre>
+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
+</pre>
+
+<% end %>
+
+<p>
+  See also:
+  <%= link_to raw('Arvados Docs &rarr; User Guide &rarr; git'), 'http://doc.arvados.org/user/intro-git.html' %>.
+</p>