http-push: do not access git_default_email directly