Yes they did, i should have clarified, as IBM is becoming like Broadcom as an umbrella organization for all sorts of companies, the ibm core is different beast than some of the acquisitions they have been making
In my mind just like LinkedIn , GitHub and Microsoft are every distinct entities with a lot of differences on how they work , Hashicorp and IBM parent are different and will remain so. Integrating into Hashicorp for Gitlab would be very different than integrating into IBM core with different values for both businesses .
I wasn't thinking about a few focused features or integrations, but more generally. i.e non product things like sales and license packaging and son on.
If an acquisition has to make sense there should be a clear path to monetize it, for IBM core or its HashiCorp unit or any other buyer that will not just be through some light integrations alone, they can achieved with partnerships after all you don't need to buy the organization for it.