add push/clone over ssh urls to repo index

appview/pages/templates/repo/empty.html

···
         </p>
     </main>
 {{ end }}
+
+{{ define "repoAfter" }}
+    <section class="mt-4 p-6 rounded bg-white w-full mx-auto overflow-auto">
+        <strong>push</strong>
+        <pre>
+ git remote add origin [e-mail]:{{ .RepoInfo.OwnerWithAt }}/{{ .RepoInfo.Name }} </pre
+        >
+        <strong>clone</strong>
+        <pre>
+ git clone https://tangled.sh/{{ .RepoInfo.OwnerWithAt }}/{{ .RepoInfo.Name }}
+ git clone [e-mail]:{{ .RepoInfo.OwnerWithAt }}/{{ .RepoInfo.Name }}
+ </pre
+        >
+    </section>
+{{ end }}

appview/pages/templates/repo/index.html

···
 
 
     <section class="mt-4 p-6 rounded bg-white w-full mx-auto overflow-auto">
+        <strong>push</strong>
+        <pre>
+ git remote add origin [e-mail]:{{ .RepoInfo.OwnerWithAt }}/{{ .RepoInfo.Name }} </pre
+        >
         <strong>clone</strong>
         <pre>
- git clone https://tangled.sh/{{ .RepoInfo.OwnerWithAt }}/{{ .RepoInfo.Name }} </pre
+ git clone https://tangled.sh/{{ .RepoInfo.OwnerWithAt }}/{{ .RepoInfo.Name }}
+ git clone [e-mail]:{{ .RepoInfo.OwnerWithAt }}/{{ .RepoInfo.Name }}
+ </pre
         >
     </section>
 {{ end }}