[AlexeyBelov]

> Github was the one provider I did not expect to make such an action

There is no Github anymore in any meaningful way. It's Microsoft. Github doesn't have a CEO anymore.