Git over HTTP (WebDAV) on Windows