Skip to content

Rename CLI to CodeQL runner #159

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
robertbrignull merged 1 commit into from
Aug 26, 2020
Merged

Rename CLI to CodeQL runner #159

robertbrignull merged 1 commit into from
Aug 26, 2020

Conversation

@robertbrignull
Copy link
Contributor

@robertbrignull robertbrignull commented Aug 24, 2020 •
edited
Loading

Renames the CLI to the CodeQL runner since we've decided on that as a name.

Merge / deployment checklist

  • Confirm this change is backwards compatible with existing workflows.
  • Confirm the readme has been updated if necessary.

@robertbrignull robertbrignull force-pushed the rename_cli branch 6 times, most recently from 234540e to 0f5e5a0 Compare August 25, 2020 16:43
@robertbrignull robertbrignull mentioned this pull request Aug 25, 2020
Merged
2 tasks
@robertbrignull robertbrignull merged commit aac5eb2 into main Aug 26, 2020
@robertbrignull robertbrignull deleted the rename_cli branch August 26, 2020 14:03
@github-actions github-actions bot mentioned this pull request Sep 1, 2020
Merged
@aliscco aliscco mentioned this pull request Apr 25, 2023
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@chrisgavin chrisgavin chrisgavin approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@jhutchings1 jhutchings1

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@robertbrignull @chrisgavin @jhutchings1