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

Handle issues outside pr comment #8

Merged
merged 2 commits into from
May 27, 2022
Merged

Conversation

bermannoah
Copy link
Collaborator

@bermannoah bermannoah commented May 27, 2022

Type of PR (feature, enhancement, bug fix, etc.)

bug fix

Description

Either I'm misreading something or the github docs are not in step with the API, so the commenter wasn't working.

Fixes #3 (issue)

Why should this be added

This fails nicer.

Checklist

  • Actions are passing

@bermannoah bermannoah force-pushed the nb/issues-outside-pr-comment branch from 051e10a to e98ec94 Compare May 27, 2022 14:25
@bermannoah bermannoah merged commit c4c267e into main May 27, 2022
@bermannoah bermannoah deleted the nb/issues-outside-pr-comment branch May 27, 2022 14:30
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.

Handle when an issue appears outside the scope of the target PR
1 participant