Skip to content

chore(gh): remove codeql#512

Merged
tenthirtyam merged 1 commit intomainfrom
chore(gh)/remove-codeql
Feb 21, 2025
Merged

chore(gh): remove codeql#512
tenthirtyam merged 1 commit intomainfrom
chore(gh)/remove-codeql

Conversation

@tenthirtyam
Copy link
Copy Markdown
Contributor

Summary

Removes CodeQL defined at the repository-level in favor of the organization-level.

Type

  • This is a bug fix.
  • This is an enhancement or feature.
  • This is a code style/formatting update.
  • This is a documentation update.
  • This is a refactoring update.
  • This is a chore update
  • This is something else.
    Please describe:

Removes CodeQL defined at the repository-level in favor of the organization-level.

Signed-off-by: Ryan Johnson <ryan.johnson@broadcom.com>
@tenthirtyam tenthirtyam added chore Chore github-actions GitHub Actions labels Feb 21, 2025
@tenthirtyam tenthirtyam added this to the .next milestone Feb 21, 2025
@tenthirtyam tenthirtyam self-assigned this Feb 21, 2025
@tenthirtyam tenthirtyam merged commit eb70954 into main Feb 21, 2025
6 checks passed
@github-actions github-actions bot added the needs-review Needs Review label Feb 21, 2025
@tenthirtyam tenthirtyam deleted the chore(gh)/remove-codeql branch February 21, 2025 22:06
@tenthirtyam tenthirtyam removed the needs-review Needs Review label Feb 21, 2025
@github-actions github-actions bot added the needs-review Needs Review label Feb 21, 2025
@tenthirtyam tenthirtyam removed the needs-review Needs Review label Mar 11, 2025
@github-actions
Copy link
Copy Markdown

I'm going to lock this pull request because it has been closed for 30 days. This helps our maintainers find and focus on the active issues.

If you have found a problem that seems related to this change, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 11, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

chore Chore github-actions GitHub Actions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant