On: Python moves to GitHub

[yeukhon]

I will cut the BS and give you my thought: simply because few people are interested in maintaining GitLab. If I were in the dev's position, I would have more time to focus on improving build pipeline, like adding some cool bot.