···

       
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
       
8
       
-
       
          <option value="open" {{ if .FilteringByOpen }}selected{{ end }}>open({{ .RepoInfo.Stats.IssueCount.Open }})</option>

     

       
9
       
9
       
-
       
          <option value="closed" {{ if not .FilteringByOpen }}selected{{ end }}>closed({{ .RepoInfo.Stats.IssueCount.Closed }})</option>

     

       
8
       
8
       
+
       
          <option value="open" {{ if .FilteringByOpen }}selected{{ end }}>open ({{ .RepoInfo.Stats.IssueCount.Open }})</option>

     

       
9
       
9
       
+
       
          <option value="closed" {{ if not .FilteringByOpen }}selected{{ end }}>closed ({{ .RepoInfo.Stats.IssueCount.Closed }})</option>

     

       
10
       
10
       
 
       
        </select>

     

       
11
       
11
       
 
       
        issues

     

       
12
       
12
       
 
       
        </p>

     

···

       
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
       
12
       
-
       
                    open

     

       
12
       
12
       
+
       
                    open ({{ .RepoInfo.Stats.PullCount.Open }})

     

       
13
       
13
       
 
       
                </option>

     

       
14
       
14
       
 
       
                <option value="merged" {{ if .FilteringBy.IsMerged }}selected{{ end }}>

     

       
15
       
15
       
-
       
                    merged

     

       
15
       
15
       
+
       
                    merged ({{ .RepoInfo.Stats.PullCount.Merged }})

     

       
16
       
16
       
 
       
                </option>

     

       
17
       
17
       
 
       
                <option value="closed" {{ if .FilteringBy.IsClosed }}selected{{ end }}>

     

       
18
       
18
       
-
       
                    closed

     

       
18
       
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
       
35
       
-
       
    <div class="flex flex-col gap-2 mt-8">

     

       
35
       
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">