Product @ GitHub (CodeQL code scanning)

Opinions are my own.