Remove spurious messages from `git push`