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 leave comment when locking merged PR #525

Open
1 task done
anuraaga opened this issue May 30, 2024 · 2 comments
Open
1 task done

Don't leave comment when locking merged PR #525

anuraaga opened this issue May 30, 2024 · 2 comments
Labels

Comments

@anuraaga
Copy link
Contributor

Terraform CLI and Provider Versions

n/a

Terraform Configuration

n/a

Expected Behavior

Merged PRs don't cause notifications

Actual Behavior

Got a notification for my merged PR being locked

#34 (comment)

Steps to Reproduce

Have a PR in the repo from 30+ days ago.

How much impact is this issue causing?

High

Logs

No response

Additional Information

I'm not sure if this is the correct repo for this since I suspect it's an org-wide setting, but if it's possible it would be good to reconfigure this lockbot to only do it for open PRs. Otherwise, it causes unnecessary spam to contributors.

Code of Conduct

  • I agree to follow this project's Code of Conduct
@anuraaga anuraaga added the bug label May 30, 2024
@bflad
Copy link
Contributor

bflad commented May 30, 2024

Hi @anuraaga 👋 Thank you for raising this and sorry for the potentially frustrating notification.

One coincidental thing here is that a GitHub rate limiting issue was resolved with the locking process which over the last few days has caused all the notifications and locking to actually occur when it potentially hasn't in the past. It looks like the locking process is now "caught up" so I would not expect any more bulk notifications.

The current setup for issue and PR locking is for the automation to add the "I'm going to lock this issue" comment, then lock it, when issues and PRs have been closed for 30+ days. We would not want to start locking open issues and PRs as it would prevent any further issue or PR discussion to occur except from the maintainers. The maintainers will only lock open issues or PRs if there is an urgent need.

As for the comment part of the process (the source of the notification), it was previously added to the locking process because practitioners in the past have been confused that the locking was due to some passage of time and showed that frustration when creating new issues if there were unfinished conversations that happened on the original issue. Folks understandably get upset if they do not feel like they are being heard. GitHub only offers lock reasons of "Off-topic", "Too heated", "Resolved", and "Spam". "Resolved" as a potentially silent (from a notification standpoint) reason is mostly correct, except if folks were trying to continue a discussion on a given issue or PR.

I think the maintainers would be amenable to potentially dropping the lock comment/notification if there is enough community interest though, so I will keep this issue open for further discussion from you, the maintainers, and the community.

@anuraaga anuraaga changed the title Only lock open PRs Don't leave comment when locking merged PR May 31, 2024
@anuraaga
Copy link
Contributor Author

Thanks @bflad - I had assumed the locking was to prevent stale, open PRs from piling up but realize it was explicitly for closed PRs. I guess the motivation to lock a merged PR is to prevent people from commenting on very old PRs instead of filing a new issue, makes sense.

Indeed I guess the comment, which causes a notification, is the main issue here. I'd personally not be upset at a merged PR being locked silently after some time has passed since a merged PR is done, but not sure how generally people would take it. A way to have a notification that doesn't bring old PRs back into inboxes could be to leave something including "We will lock this PR in xx days" automatically as a comment when the PR is merged, rather than when the PR is locked. That timing is still when the PR is fresh in an inbox, while also leaving the comment trail about the locking policy.

Note that the policy may deserve to be a little different for issues vs PRs, especially PRs merged rather than being rejected.

Anyways, just some ideas, thanks for the consideration.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants