>I wonder how long these sorts of games will play before the law applies itself.

Whose law? Good luck trying to summon a random GitHub user to a court within your jurisdiction.

Don't need to. The court can subpoena GitHub to find out who they are, and then can make a default judgement against them and enforce it.

This is extremely naive. If you are in Germany and I am in the US and you get a default judgement against me (which would cost you money to get), good luck getting it enforced internationally. Hint: it's way, way harder than you think.