And what if they just do it anyway? What are they going to do, sue them? Make them scrub every git repository on the planet?

it will be easy to prove that it is not technically possible since Git is decentralized. but fines... oh, those fines could be enormous. possibly, AMD could get barred from implementing HDMI at all - all HDMI has to do is to stop selling the spec to AMD specifically.