[darcs-devel] ssh release needed (Re: status of darcsden repo)

Ben Franksen ben.franksen at online.de
Fri Jul 3 11:25:11 UTC 2020

Am 03.07.20 um 12:43 schrieb Simon Michael:
> Thanks! Could move them to the darcs use on darcs hub, or a darcs organization on GitHub ?

I don't care much. If this is the simplest / cleanest way, fine.
Otherwise why not just add us two as co-maintainers with push rights?


More information about the darcs-devel mailing list