github failed at the only thing they should do: git

GitHub responded fast, but a critical RCE issue in the git push pipeline is exactly the kind of failure the platform should never have had.