Right. But the irony is, normally compared to how bungled Microsoft acquisitions are, it seems Github is allowed to continue mostly independent without a lot of oversight? At this point, though still skeptical, it seems to me that Github is not quite beholden to Microsoft and is actually innovating and adding new value.

I totally jumped to Gitlab when the acquisition happened and recommended it to everyone. But now I'm back to thinking Github is the best choice.

The biggest thing for me was free private repositories, which I believe Gitlab forced Github to put into place due to competition. Github has been on its way back up in my evaluation ever sense.