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

Don't error when closing/opening pull request #82

Merged
merged 1 commit into from
Aug 11, 2022
Merged

Conversation

timja
Copy link
Owner

@timja timja commented Aug 11, 2022

Fixes #31

@timja timja added the bug Something isn't working label Aug 11, 2022
@timja timja enabled auto-merge (squash) August 11, 2022 08:46
@timja timja merged commit 7b86a01 into main Aug 11, 2022
@timja timja deleted the only-close-on-issue branch August 11, 2022 08:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

/close should not error when someone uses it on a pull request
1 participant