[IMP] Migrate from an old git repo to github.com