How Microsoft is migrating repositories to GitHub · HackerTrans