issue-bot

Enable CodeQL Analysis of GitHub Actions workflows

Use URLs as-is to prevent double percent-encoding

Move to new Azure tenant

Update monitored projects and their collaborators

Merge pull request #45 from snicoll