Skip to content

Conversation

harshit075
Copy link

Q A
Is bugfix? yes/no
New feature? yes/no
Breaks BC? yes/no
Tests pass? yes/no
Fixed issues comma-separated list of tickets # fixed by the PR, if any

@samdark samdark closed this Jun 3, 2025
@samdark
Copy link
Member

samdark commented Jun 3, 2025

@harshit075 I guess, that is wrong repo for a pull request. Please change your SSH keys as these are now publically exposed.

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