> Did GitHub have a funding problem?

I don't believe so, and I didn't mean to imply that. Rather just that if they are part of the "Core AI" org then they will likely remain a priority area of investment for Microsoft...right now anyway.