diff options
| author | Joe Mou <dev@mou.fo> | 2026-05-27 14:02:36 -0400 |
|---|---|---|
| committer | Joe Mou <dev@mou.fo> | 2026-05-27 23:37:23 -0400 |
| commit | 96396c4ed853652ea311d006b4ebe6af15b40684 (patch) | |
| tree | 84ed30e17bc2232ac755f9d488a30d8aec233577 /views/layout.eta | |
| parent | 12a072ded4d8528296bcf9fde6ae8324588da97e (diff) | |
Add repo-scoped search support for issues and PRs
We do not support hybrid issue/PR search. Any searches on the issues
endpoint will redirect to an explicit issue-only search.
Diffstat (limited to 'views/layout.eta')
| -rw-r--r-- | views/layout.eta | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/views/layout.eta b/views/layout.eta index ec3c7b8..f31c6e0 100644 --- a/views/layout.eta +++ b/views/layout.eta @@ -19,6 +19,14 @@ git clone git@github.com:<%= it.repo.owner %>/<%= it.repo.name %>.git</code></pr <a href="/<%= it.repo.owner %>/<%= it.repo.name %>/commits/<%= it.branch %><%= it.path && it.path !== '/' ? '/' + it.path : '' %>">Commits</a> <% } %> </nav> + <form action="/<%= it.repo.owner %>/<%= it.repo.name %>/search" method="get"> + <input type="text" name="q" placeholder="Search…" value="<%= it.q ?? "" %>"> + <select name="type"> + <option value="issues" <%= it.searchType === "issues" ? "selected" : "" %>>Issues</option> + <option value="code" <%= it.searchType === "code" || it.searchType == null ? "selected" : "" %>>Code</option> + </select> + <button type="submit">Search</button> + </form> </div> <%~ it.body %> |