Re: [O] Worg migration complete

[Bastien]

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 address@hidden:worg.git

Thanks to Tycho Garen for this!  And to all repo.or.cz admins
for their continuous support.

-- 
 Bastien