-
-
Notifications
You must be signed in to change notification settings - Fork 59
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
Only comment about new commits if the PR is still open. #583
base: main
Are you sure you want to change the base?
Conversation
Codecov Report
@@ Coverage Diff @@
## main #583 +/- ##
=========================================
Coverage 100.00% 100.00%
=========================================
Files 18 18
Lines 2088 2098 +10
Branches 237 239 +2
=========================================
+ Hits 2088 2098 +10
Flags with carried forward coverage won't be shown. Click here to find out more.
|
I wonder if the entire A |
I agree with Adam. I don't think I've ever seen Bedevere correctly post this comment -- the first time I saw this comment being posted was when Bedevere started posting it incorrectly in the last few weeks. And even if this logic could be fully fixed, I'm not sure it's worth fixing it. I can't think of a situation in which I'd find this comment from Bedevere useful, since I already get a notification on GitHub if a new commit has been pushed on a PR I've already reviewed. I feel like the extra comment from Bedevere would just be annoying and lead to me having to delete two emails from my inbox, rather than just one. I'd be in favour of just removing this logic rather than trying to fix it. |
Hmm that's interesting, looking at the PR mentioned by @AA-Turner , it looks like the new commits triggered the I'll investigate this some more. I'm ok with removing bedevere's comment, but I think we still need to logic to reapply the |
I'd push back slightly in line with Alex's thoughts and ask why here: Bedevere seems to have only started applying the label three weeks ago, so from the time CPython moved to GitHub to ~mid August 2023 the logic hasn't been running and (to my knowledge) no one has complained about it. A |
I don't have a strong opinion on this question, but it feels strange to me that merging in |
Indeed. Currently, we have
This means it'll trigger for pushes to We should change this to use the @router.register("pull_request", action="opened")
@router.register("pull_request", action="reopened")
@router.register("pull_request", action="synchronize") IIUC, those are all the events that we'd want to listen to for determining whether the label needs to be updated. |
for label in util.labels(pr): | ||
if label == "awaiting merge": |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can't this be replaced by an if 'awaiting merge' in utils.labels(pr):
, and possibly combined with the previous if?
This should fix the issue where the "awaiting core review" label gets added after PR has ben merged. Example: python/cpython#109082