Migrate repo from bitkeeper to GitHub