English is not formal logic.

In formal logic, that statement is true whether X is GitHub, or Lockheed-Martin, Safeway, or the local hardware store.

In English, the statement serves to inform (or remind) you that GitHub has a secret scanning program that many providers actually do partner with.

▲

pwdisswordfishy 15 hours ago | parent [-]

Yes, and in the real world where Grice's Maxim of Relevance is in force, then when the secrets issuer that is the subject of the discussion isn't one of those partners, then an informative "reminder" that GitHub "has a secret scanning program" with a bunch of other partners is not actually informative. It's as superfluous and unhelpful as calling to let someone know you're not interested in the item they've posted for sale on Craiglist (<https://www.youtube.com/watch?v=xWG3jKzKcm8>).

▲

wat10000 14 hours ago | parent | next [-]

It's more useful than telling someone that their statement is a tautology in formal logic.

▲

pwdisswordfishy 40 minutes ago | parent [-]

No it's not.

	▲	wat10000 33 minutes ago \| parent [-]
		Yes it is. Reminding somebody of this feature is useful to somebody, even if it's not completely relevant to the topic being discussed. Calling out a supposed tautology is the opposite of useful: it helps nobody and just clutters things up.

▲

richbell 14 hours ago | parent | prev [-]

How is reminding people that they can safely revoke exposed API keys not informative? Why are you being so combative?