From c57123139794c3ef174b62c6bd2a54a60bbf3327 Mon Sep 17 00:00:00 2001
From: Joe Mou <dev@mou.fo>
Date: Wed, 27 May 2026 14:02:36 -0400
Subject: 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.
---
 cgithub/views/layout.eta | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'cgithub/views/layout.eta')

diff --git a/cgithub/views/layout.eta b/cgithub/views/layout.eta
index ec3c7b8..f31c6e0 100644
--- a/cgithub/views/layout.eta
+++ b/cgithub/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 %>
-- 
cgit v1.3.1