diff options
author | Jelte Fennema-Nio | 2024-09-24 20:29:02 +0000 |
---|---|---|
committer | Magnus Hagander | 2024-09-24 20:29:02 +0000 |
commit | 820e2558613a03a44c077dc107019c985fca1bb7 (patch) | |
tree | cdb997d5cf2956e7f762b68919d14923961e174e | |
parent | b6010e9cd2049de57ab3b99b8f5411e48485096a (diff) |
Add search bar to search page, so you can search again
-rw-r--r-- | pgcommitfest/commitfest/templates/patchsearch.html | 7 |
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> |