Junio C Hamano <gitster@xxxxxxxxx> writes: > Jeff King <peff@xxxxxxxx> writes: > >> Doing (3) is obviously the easiest thing. And given the complexity of >> the other two solutions, I think it makes sense to revert 986bbc08 >> (i.e., apply this patch), ship a working v1.7.8.1, and then look at >> doing one of the other two solutions for v1.7.9. > > Or just let the "dumb HTTP" die. > > I thought push over DAV has long been dead; is anybody using it for real? I am. I'm working with people behind a firewall, hence HTTP is mandantory. My lab has a webdav server, without Git installed on it. Being able to work with this setup was one of the key feature of Git when I adopted it (after a few years using GNU Arch the same way). I could probably manage to convince my sysadmin to install Git on our webserver, but I'd prefer if Git continues supporting my current setup. -- Matthieu Moy http://www-verimag.imag.fr/~moy/ -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html