cmd-ref: document --rev option on update#1007

Merged

shcheklein merged 2 commits intomasterfrom

Feb 29, 2020

Commits on Feb 20, 2020

cmd-ref: document --rev option on update
skshetry
committed

Commits on Feb 28, 2020

minor: cosmetic changes
shcheklein
committed