Merge pull request #1809 from frasertweedale/fix/git_push_unpack_ok-doc push: small documentation fix