[cxr]

> Is there any evidence SFC explicitly approved of those names? I haven't been able to find any.

Yes. The trademark policy I linked to says, "Please be aware that GitHub and GitLab are exceptions to this Policy because they are subject to explicit licensing arrangements".

(But let's even suppose that it didn't say that and the answer to the question you're asking were "no". No trademark holder is required to submit their agreements for public review. So what does it matter that the ones with the trademark policy haven't sought you out to get your input (and blessing)? The general shape of these replies—including the willingness to spend effort arguing but none to eliminate the ignorance that you're stumbling into the discussion with—is grating.)