docs: document rev: (!13597) · Merge requests · Warren Gifford / sourcegraph · GitLab

Warren Gifford requested to merge sh/document-rev into main Sep 02, 2020

Created by: stefanhengl

Closes #13091 (closed)

Adding rev: to the CHANGELOG and user-documentation.