Revisions sidebar section: Add `repo:` filter if not already present to avoid broken queries

Created by: fkling

It's possible that the revisions section is shown (results only from a single repository) without a repo: filter in the query. In that case clicking on a revision will fail:

The corresponding repo: filter should be added if necessary.