Was there any official statement stating that they would switch to GitHub? All I see is that they're switching to git.