963ff9f458
I have already pushed `main` upstream pointing at the same commit as master, so this PR should be safe to merge. To the best of my knowledge all that's necessary after that is to change the default branch in https://github.com/github/vscode-codeql/settings/branches. |
||
---|---|---|
.. | ||
ISSUE_TEMPLATE | ||
workflows | ||
pull_request_template.md |