Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Detect when a GitHub pull request discussion is locked and stop the gh-pull-comment reporter #219

Open
leodido opened this issue Jul 28, 2023 · 0 comments
Open

Detect when a GitHub pull request discussion is locked and stop the gh-pull-comment reporter #219

leodido opened this issue Jul 28, 2023 · 0 comments
Assignees
@leodido
Labels
enhancement New feature or request

Comments

@leodido
Copy link
Contributor

leodido commented Jul 28, 2023

Describe the feature or problem you’d like to solve

GitHub pull request discussions can be locked up.
In such cases, our gh-pull-comment reporter is unable to publish our sticky report comment.

Proposed solution

Detect if the pull request against which the gh-pull-comment is running is locked or not.

Additional context

Here's an example of what happens at the moment:
image
@leodido leodido added the enhancement New feature or request label Jul 28, 2023
@leodido leodido self-assigned this Jul 28, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@leodido leodido

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@leodido