[xyzzy_plugh]

No, GitHub has it exactly right. Ultimately this sort of thing has to be settled in court.

[camgunz]

At least in the EU there's some precedent where AGPLv3+ won out, though it was through settlement and not judgement (and it's not super clear how contentious the parties were anyway) [0]

[0]: https://archive.fosdem.org/2021/schedule/event/agplcomplianc...