anchor.diff:        <strong>Push url:</strong> <code><%=h @repository.push_url -%></code>
         <small><%= link_to_function "More info…", "$('detailed_push_info').toggle()" -%></small>
         <div id="detailed_push_info" class="info_hint" style="display:none">
  -You can run "<code>git push git@gitorious.org:tumbline/mainline.git</code>", or 
  +You can run "<code>git push <%= @repository.push_url %></code>", or 
   you can setup a remote by doing the following:
   <pre>
   git remote add origin <%= @repository.push_url %>
  
positive.code:   <% end -%>
    <li><strong>Created:</strong> <%= @repository.created_at.to_s(:short) -%></li>
    <li>
      <strong>Clone url:</strong> <code><%=h @repository.clone_url -%></code> 
      <small><%= link_to_function "More info…", "$('detailed_clone_info').toggle()" -%></small>
      <div id="detailed_clone_info" class="info_hint" style="display:none">
        You can clone this repository with the following command:<br />
        <% if logged_in? && current_user.can_write_to?(@repository) -%>
          <code>git clone <%= @repository.push_url -%></code>
        <% else -%>
          <code>git clone <%= @repository.clone_url -%></code>
        <% end -%>
      </div>
    </li>
    <li>
  
negative.code:     <small><%= link_to_function "More info…", "$('detailed_http_clone_info').toggle()" -%></small>
      <div id="detailed_http_clone_info" class="info_hint" style="display:none">
        You can clone this repository with the following command:<br />
          <code>git clone <%= @repository.http_clone_url -%></code><br />
          <small>(note that cloning over HTTP is slightly slower, but useful 
            if you're behind a firewall)</small>
      </div>
    </li>
    <% if logged_in? && current_user.can_write_to?(@repository) -%>
  