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? Cheers Ben