I don't know that it is "key US Internet infrastructure", but it's important to a lot of developers and companies. Thankfully GitHub handled the attack pretty well.

Disclaimer: I'm not sure what actual usage stats are like for GitHub.