More realistically the people will just run away from Russia leaving only those that are happy with the situation. Users of github are tiny minority in Russia.

More realistically the people will just run away from Russia leaving only those that are happy with the situation. Users of github are tiny minority in Russia. Even tinier is the part of those users that care enough to do anything about it besides leaving.