show doc: redirect user to git log manual instead of git diff-tree