Merge branch 'hy/doc-show-is-like-log-not-diff-tree'

Doc update. * hy/doc-show-is-like-log-not-diff-tree: show doc: redirect user to git log manual instead of git diff-tree