[darcs-devel] mirror(s) on hub.darcs.net

Simon Michael simon at joyful.com
Mon Nov 5 22:34:29 UTC 2018

Previous message (by thread): [darcs-devel] hub.darcs.net via ssh fails on ubuntu 18
Next message (by thread): [darcs-devel] [patch1759] new implementation of http client based on http-conduit
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 8/31/18 7:30 AM, Benjamin Franksen wrote:
> It seems the auto-push to darcs at hub.darcs.net:darcs/darcs-screened and
> possibly other repos is broken. The latest change there is from April 19.

Belated reply.. thanks for the report. I had not reactivated cron jobs 
after moving to a new server. The mirroring should be working again, on 
the hour.

Previous message (by thread): [darcs-devel] hub.darcs.net via ssh fails on ubuntu 18
Next message (by thread): [darcs-devel] [patch1759] new implementation of http client based on http-conduit
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the darcs-devel mailing list