search: add link to revision syntax doc page in alert (!13276) · Merge requests · Administrator / sourcegraph

Administrator requested to merge sh/add-link-to-docs into main Aug 24, 2020

Created by: stefanhengl

Minor follow-up of #13271 which addresses a PR comment. Apparently I forgot to push this before I merged #13271.

search: add link to revision syntax doc page in alert