Dear all, thanks a lot to Jason for taking care of Worg's migration.
We also migrated all public keys from repo.or.cz to orgmode.org: so people who had push access to Worg can push without bothering about sending their public key again. Just do: ~$ git clone w...@orgmode.org:worg.git Thanks to Tycho Garen for this! And to all repo.or.cz admins for their continuous support. -- Bastien