repos / git-pr

repo-detail.html

 1{{template "base" .}}
 2
 3{{define "title"}}{{.Name}} - repo{{end}}
 4
 5{{define "meta"}}
 6<link rel="alternate" type="application/atom+xml"
 7      title="RSS feed for git collaboration server"
 8      href="/r/{{.Username}}/{{.Name}}/rss" />
 9{{end}}
10
11{{define "body"}}
12<header>
13  <h1 class="text-2xl mb"><a href="/">dashboard</a> / <a href="/r/{{.Username}}">{{.Username}}</a> / {{.Name}}</h1>
14  <div class="group">
15    <details>
16      <summary>Help</summary>
17      <div class="group">
18        <pre class="m-0"># submit a new patch request
19git format-patch {{.Branch}} --stdout | ssh {{.MetaData.URL}} pr create {{.Username}}/{{.Name}}</pre>
20        <pre class="m-0"># list prs for repo
21ssh {{.MetaData.URL}} pr ls {{.Username}}/{{.Name}}</pre>
22      </div>
23    </details>
24	</div>
25</header>
26
27<main class="group">
28  <div>
29    filter
30    <a href="/r/{{.Username}}/{{.Name}}">open</a> <code>{{.NumOpen}}</code>
31    &middot;
32    <a href="/r/{{.Username}}/{{.Name}}?status=accepted">accepted</a> <code>{{.NumAccepted}}</code>
33    &middot;
34    <a href="/r/{{.Username}}/{{.Name}}?status=closed">closed</a> <code>{{.NumClosed}}</code>
35  </div>
36  {{template "pr-table" .Prs}}
37</main>
38
39<footer class="mt">
40  <a href="/r/{{.Username}}/{{.Name}}/rss">rss</a>
41</footer>
42{{end}}