fedora-infra/fedora-tagger — pull request #111 by ralphbean (2013-09-23 18:50:02+00:00)
Title: Feature/search bar

This should finally fix #83. It just adds a search box to the bottom of the page that reuses the same JS code used by the popup search dialog.