Problem: commits are not scanned for security problems Solution: Enable Github code scanning. (Christian Brabandt, closes #7057)