Sync with maint

* maint:
Documentation: fix missing text for rev-parse --verify

diff --cc Documentation/git-rev-parse.txt
Simple merge