I still find it quite odd that #GitHub calls itself "the place where open source communities live", and is all for #OpenSource, and yet... their own service isn't open source...
I mean, don't get me wrong, they're doing really good work (except Copilot), and we wouldn't be better off without them (if they hadn't made Copilot), but still... you gotta admit that's quite ironic!