My own copy of Tangled :)
show counts in PR filter dropdown
author
Akshay
date
(Mar 17, 2025, 7:28 PM UTC)
commit
a113f9f4
a113f9f490a5958a7e71ef5ed126929f5de1ec43
parent
705db039
705db0392bcd2689faea4a02b180219426fe12c2
+6
-6
+2
-2
appview/pages/templates/repo/issues/issues.html
+2
-2
appview/pages/templates/repo/issues/issues.html
···
5
5
<p>
6
6
filtering
7
7
<select class="border px-1 bg-white border-gray-200" onchange="window.location.href = '/{{ .RepoInfo.FullName }}/issues?state=' + this.value">
8
-
<option value="open" {{ if .FilteringByOpen }}selected{{ end }}>open({{ .RepoInfo.Stats.IssueCount.Open }})</option>
9
-
<option value="closed" {{ if not .FilteringByOpen }}selected{{ end }}>closed({{ .RepoInfo.Stats.IssueCount.Closed }})</option>
8
+
<option value="open" {{ if .FilteringByOpen }}selected{{ end }}>open ({{ .RepoInfo.Stats.IssueCount.Open }})</option>
9
+
<option value="closed" {{ if not .FilteringByOpen }}selected{{ end }}>closed ({{ .RepoInfo.Stats.IssueCount.Closed }})</option>
10
10
</select>
11
11
issues
12
12
</p>
+4
-4
appview/pages/templates/repo/pulls/pulls.html
+4
-4
appview/pages/templates/repo/pulls/pulls.html
···
9
9
onchange="window.location.href = '/{{ .RepoInfo.FullName }}/pulls?state=' + this.value"
10
10
>
11
11
<option value="open" {{ if .FilteringBy.IsOpen }}selected{{ end }}>
12
-
open
12
+
open ({{ .RepoInfo.Stats.PullCount.Open }})
13
13
</option>
14
14
<option value="merged" {{ if .FilteringBy.IsMerged }}selected{{ end }}>
15
-
merged
15
+
merged ({{ .RepoInfo.Stats.PullCount.Merged }})
16
16
</option>
17
17
<option value="closed" {{ if .FilteringBy.IsClosed }}selected{{ end }}>
18
-
closed
18
+
closed ({{ .RepoInfo.Stats.PullCount.Closed }})
19
19
</option>
20
20
</select>
21
21
pull requests
···
32
32
{{ end }}
33
33
34
34
{{ define "repoAfter" }}
35
-
<div class="flex flex-col gap-2 mt-8">
35
+
<div class="flex flex-col gap-2 mt-2">
36
36
{{ range .Pulls }}
37
37
<div class="rounded drop-shadow-sm bg-white px-6 py-4">
38
38
<div class="pb-2">