diff options
Diffstat (limited to 'pgcommitfest/commitfest')
| -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="/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> |