This replaces the dynamically configured CodeQL scanning that we had set up through the GitHub settings.