> This thread is becoming mildly frustrating; nobody seems to want to
> discuss the actual question I posted.
You're telling us you've got a broken firewall, and you'd rather hack
around it using Darcs than fix it... which is fair enough, but you
cannot expect us to get excited about your problem.
Darcs natively implements push over two transports: ssh and GPG-signed
e-mail. These are the transports used by all the Darcs developers and
users I know, and nobody seems to feel the need for developing more.
(What people are interested in is the ability to push with no Darcs on
the server, but as you pointed out, that's a different issue.)
If you cannot punch a hole for ssh in your firewall (which, sorry to
insist, would be The Right Thing to do), you should investigate
carrying ssh traffic over HTTP using the CONNECT request; I know at
least Squid and Polipo can be configured to allow that, I'd be
surprised if Apache couldn't.
If you insist on pushing over HTTP POST (which, sorry to insist again,
is a bad idea), then I know it can be done, but I don't remember
exactly how; I suggest you check the list archives for ``darcshive'',
which is a CGI that used to do exactly that.
Juliusz
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
