Skip to content

Conversation

@igor-drozdov
Copy link

No description provided.

@igor-drozdov
Copy link
Author

@mislav thanks for the approval! Can it be merged now or anything else needs to be done?

@mislav
Copy link
Contributor

mislav commented Sep 22, 2023

Sorry, I approved it out of habit, but I forgot that I cannot actually merge this because I don't work for GitHub anymore since recently and thus don't maintain this project. Maybe someone else will come around to this 🤞

@igor-drozdov
Copy link
Author

@mislav ah, got it, thanks for the answer!

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