Add support for git-http-push to git-push script