[gknoy]

Excellent point. I wonder if it would be feasible to put this kind of check in a pre-commit pipeline to prevent it actually getting committed in the first place.

[0x0]

Or even better, github could have an opt-in (or even opt-out) server side variant for pushes!