And any frivolity aside, well done to github, both for this and also with their developer defense fund against take downs. Whether you like them or not, these are very positive outcomes for devs.
Yep, it seems that the person you're replying to doesn't know that it usually takes longer to grant such licenses, GitHub got really lucky here (or the US have thinked about the prestige of having GitHub there).
And any frivolity aside, well done to github, both for this and also with their developer defense fund against take downs. Whether you like them or not, these are very positive outcomes for devs.