Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[BUG] Closing of the issue got stuck #3371

Closed
marcindulak opened this issue Dec 4, 2022 · 1 comment · Fixed by #3698
Closed

[BUG] Closing of the issue got stuck #3371

marcindulak opened this issue Dec 4, 2022 · 1 comment · Fixed by #3698
Labels

Comments

@marcindulak
Copy link

Describe the bug

The closing of the issue #2955 got stuck.
There is also a typo in the closing attempt message open -> open.

Screenshot from 2022-12-05 00-11-42

@marcindulak marcindulak added the bug label Dec 4, 2022
@wangyira
Copy link
Contributor

Thanks for pointing it out, I've closed it

@ghost ghost locked as resolved and limited conversation to collaborators Jan 12, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants