Fix git push on SmartHTTP