Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > Do people find it useful? Or would you like to wait until I implement an > option in git-http-push to actually init an HTTP repo remotely? I do not have need for push over http-dav at the moment myself, but I would imagine I would certainly look for it when I would need to later. Do people find it useful? More importantly, has somebody else independently tried to follow the documentation and found the description accurate and helpful? - : 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