docs: update TRIAGE_AND_LABELS.md#30171
Conversation
1694f02 to
6d49d4d
Compare
There was a problem hiding this comment.
the bot should remove it automatically - @ocombe I don't think that this is the case right now. Could we change the bot to remove the label after the CI is kicked off? thanks!
There was a problem hiding this comment.
hmm.. actually adding the label doesn't seem to trigger the CI restart right now. is there a bug somewhere?
There was a problem hiding this comment.
The firebase config wasn't updated when the PR was merged. I cleaned it, it removes it now
IgorMinar
left a comment
There was a problem hiding this comment.
the rest looks reasonable to me, but I'll wait for others to chime in as well.
There was a problem hiding this comment.
| * _**Who adds it:** @googlebot._ | |
| * _**Who adds it:** @googlebot, or a Googler manually overriding the status in case the bot got it wrong._ |
There was a problem hiding this comment.
keep in mind that only org members can add labels to PRs, so "Anybody" is misleading.
6d49d4d to
e651869
Compare
IgorMinar
left a comment
There was a problem hiding this comment.
the rest looks good to me.
e651869 to
3c6fdbf
Compare
| * _**Who adds it:** Typically the PR author._ | ||
| * _**Who removes it:** Whoever added it._ | ||
| * `PR action: review` (optional): One or more reviews are pending. The label is optional, since the review status can be derived from GitHub's Reviewers interface. | ||
| * _**Who adds it:** Any team member. The caretaker can use it to differentiate PRs pending review from merge-ready PRs._ |
There was a problem hiding this comment.
I feel this label is in a bad place. It's optional, somewhat redundant, anyone can add it, and at least 2 people are responsible for removing it. And yet it signals that there's still work (reviews) to be done, and shouldn't be merged.
I think the end result is that the label is ignored. The PR author might not know that someone added it. The reviewers might not bother to see if they are the last one and remove it. It can just stay there without anyone removing it indefinitely.
So what should the caretaker do? If they are to use their best judgement and validate it against the GH reviewers interface, what's the point of it to begin with? Might as well do without that redundant chore. If they are to respect it, then the PR author can find their PR sitting there with all reviews just because someone else decided to add the label at some point.
IMHO this label needs to be stricter or be done away with. I tend towards removing it.
There was a problem hiding this comment.
One benefit of this label is that it is not possible to filter the PR list view based on whether all the reviews have been approved.
There was a problem hiding this comment.
FWIW, I agree with @filipesilva. If there is no way for the caretaker to filter based on PRs pending reviews, we should come up with another way that can be better automated.
In any case, this PR was specifically about documenting what the label is currently used for, so 🤷♂
|
This issue has been automatically locked due to inactivity. Read more about our automatic conversation locking policy. This action has been performed automatically by a bot. |
PR action: review,PR action: rerun CI at HEAD