Follow up to issue #1851970: Remove shortcut to git revision since it discourages specifying a branch.