Skip to content

Conversation

@isacikgoz
Copy link
Member

Summary

A trivial thing, but it needs to be done.

@isacikgoz isacikgoz requested a review from agnivade November 19, 2024 12:03
@isacikgoz isacikgoz added the 2: Dev Review Requires review by a core committer label Nov 19, 2024
@isacikgoz isacikgoz added 3: Reviews Complete All reviewers have approved the pull request and removed 2: Dev Review Requires review by a core committer labels Nov 20, 2024
@isacikgoz isacikgoz merged commit 34e8da7 into master Nov 20, 2024
2 checks passed
@isacikgoz isacikgoz deleted the fix-badge branch November 20, 2024 10:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3: Reviews Complete All reviewers have approved the pull request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants