Skip to content

Convert some base commands to typed commands#2210

Merged
koesie10 merged 3 commits intomainfrom
koesie10/base-typed-commands
Mar 23, 2023
Merged

Convert some base commands to typed commands#2210
koesie10 merged 3 commits intomainfrom
koesie10/base-typed-commands

Conversation

@koesie10
Copy link
Copy Markdown
Member

@koesie10 koesie10 commented Mar 22, 2023

This converts these commands to typed commands:

  • codeQL.showLogs
  • codeQL.authenticateToGitHub
  • codeQL.copyVersion

Checklist

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

@koesie10 koesie10 requested a review from a team March 22, 2023 16:03
@koesie10 koesie10 requested a review from a team as a code owner March 22, 2023 16:03
@koesie10 koesie10 enabled auto-merge March 22, 2023 16:22
@koesie10 koesie10 merged commit 20f85f2 into main Mar 23, 2023
@koesie10 koesie10 deleted the koesie10/base-typed-commands branch March 23, 2023 09:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@charisk charisk charisk approved these changes

Assignees

No one assigned

Labels

secexp

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@koesie10 @charisk