Remark: repos deleted and recreated
Everyone who forked before need to re-fork, change and resend pull requests. Old commits have been handled by script automatically, so everything are still there as before.