Skip to content

Conversation

@Jorres
Copy link
Contributor

@Jorres Jorres commented Jan 30, 2025

Pull request type

Please check the type of change your PR introduces:

  • Bugfix
  • Feature
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • Documentation content changes
  • Other (please describe):

What is the current behavior?

Issue Number: N/A

What is the new behavior?

Other information

@Jorres Jorres merged commit 5522cd1 into master Jan 30, 2025
2 checks passed
@Jorres Jorres deleted the add-github-token-permissions branch January 30, 2025 10:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants