summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJelte Fennema-Nio2024-09-24 20:29:02 +0000
committerMagnus Hagander2024-09-24 20:29:02 +0000
commit820e2558613a03a44c077dc107019c985fca1bb7 (patch)
treecdb997d5cf2956e7f762b68919d14923961e174e
parentb6010e9cd2049de57ab3b99b8f5411e48485096a (diff)
Add search bar to search page, so you can search again
-rw-r--r--pgcommitfest/commitfest/templates/patchsearch.html7
1 files changed, 7 insertions, 0 deletions
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="/https/git.postgresql.org/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>