From 820e2558613a03a44c077dc107019c985fca1bb7 Mon Sep 17 00:00:00 2001
From: Jelte Fennema-Nio <github-tech@jeltef.nl>
Date: Tue, 24 Sep 2024 22:29:02 +0200
Subject: [PATCH] Add search bar to search page, so you can search again

---
 pgcommitfest/commitfest/templates/patchsearch.html | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/pgcommitfest/commitfest/templates/patchsearch.html b/pgcommitfest/commitfest/templates/patchsearch.html
index 93da3cc..c7e0502 100644
--- a/pgcommitfest/commitfest/templates/patchsearch.html
+++ b/pgcommitfest/commitfest/templates/patchsearch.html
@@ -2,6 +2,13 @@
 {%load commitfest %}
 {%block contents%}
 
+<form method="GET" action="/search/" class="form-inline" style="margin-bottom: 10px">
+  <div class="form-group">
+    <input type="text" class="form-control" id="searchterm" name="searchterm" placeholder="Global search">
+  </div>
+  <button type="submit" class="btn btn-default">Search</button>
+</form>
+
 <table class="table table-striped table-bordered table-hover table-condensed">
  <thead>
   <tr>
-- 
2.39.5