his commit adds a new filter - "release" - to the issue search page.
This filter takes a tag name (i.e. v1.2) as a parameter and appends a
URL parameter to the search query like "release_tag=v1.2".