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

push: small documentation fix