[grey_earthling]

If I understand correctly, they're moving development to GitHub, and not hosting their own git servers. So you'd need a GitHub (Microsoft) account to merge a change to the code.