- commit
- dd52190
- parent
- 40aba99
- author
- Eric Bower
- date
- 2024-06-25 16:38:14 -0400 EDT
chore: use username instead of pubkey
3 files changed,
+4,
-4
+1,
-1
1@@ -8,7 +8,7 @@
2 <div class="text-sm">
3 <code>{{.Pr.Status}}</code>
4 <span>opened on <date>{{.Pr.Date}}</date> by</span>
5- <code>{{.Pr.Pubkey}}</code>
6+ <code title="{{.Pr.Pubkey}}">{{.Pr.UserName}}</code>
7 </div>
8
9 <details>
+1,
-1
1@@ -4,7 +4,7 @@
2 <div>
3 <code>#{{.ID}}</code>
4 <span>opened on <date>{{.Date}}</date> by </span>
5- <code>{{.Pubkey}}</code>
6+ <code title="{{.Pubkey}}">{{.UserName}}</code>
7 </div>
8 </div>
9 {{end}}
+2,
-2
1@@ -1,6 +1,6 @@
2 {{template "base" .}}
3
4-{{define "title"}}repo list{{end}}
5+{{define "title"}}repos{{end}}
6
7 {{define "meta"}}
8 <link rel="alternate" type="application/atom+xml"
9@@ -10,7 +10,7 @@
10
11 {{define "body"}}
12 <header class="group">
13- <h1 class="text-2xl">Repos</h1>
14+ <h1 class="text-2xl">git-pr</h1>
15 <div>A new git collaboration service.</div>
16 <pre class="m-0">ssh pr.pico.sh help</pre>
17 <details>