minor improvement to git push diagnostics