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

Document use of skip-precommit-approval label for non-review pull requests #81053

Merged
merged 2 commits into from
Feb 9, 2024

Conversation

dwblaikie
Copy link
Collaborator

Comment on lines 107 to 110
If you are using a Pull Request to get precommit CI results, but not
because it needs a precommit review, apply the `skip-precommit-approval
<https://github.com/llvm/llvm-project/labels?q=skip-precommit-approval>`
label to the PR.
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
If you are using a Pull Request to get precommit CI results, but not
because it needs a precommit review, apply the `skip-precommit-approval
<https://github.com/llvm/llvm-project/labels?q=skip-precommit-approval>`
label to the PR.
If you are using a Pull Request to get precommit CI results or for a revert, but
not because it needs a precommit review, apply the `skip-precommit-approval
<https://github.com/llvm/llvm-project/labels?q=skip-precommit-approval>`
label to the PR.

(adding revert here)

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh, yeah - generalized the wording a bit further to mention "purposes other than code review" including code review, convenient web-based reverts, "etc" since there might be other reasons now or in the future that PRs might be used for purposes other than review.

Copy link
Collaborator

@joker-eph joker-eph left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LG!

Copy link
Contributor

@boomanaiden154 boomanaiden154 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

As far as I'm aware, there hasn't been any work done on implementing this on the subscription side? We should probably wire the label into the subscription job so that we don't end up sending extra notifications (which was part of the original RFC from what I understand), unless I'm missing something and that has already been done.

@dwblaikie
Copy link
Collaborator Author

As far as I'm aware, there hasn't been any work done on implementing this on the subscription side? We should probably wire the label into the subscription job so that we don't end up sending extra notifications (which was part of the original RFC from what I understand), unless I'm missing something and that has already been done.

Honestly, I'd like to have that - though I know next to nothing about how the email subscription job works and at least a label would be better for me than the current state of affairs. So I'd consider this patch to be incremental improvement and further work such as subscription improvements would be quite welcome - I'd even take suggestions/pointers as to where the emails are implemented & I'd have a go at making that improvement.

Perhaps @tstellar can point me in the right direction for that?

@tstellar
Copy link
Collaborator

tstellar commented Feb 9, 2024

Is the goal to not send any notifications if this label is applied to a PR?

@dwblaikie dwblaikie merged commit 9347146 into llvm:main Feb 9, 2024
4 of 5 checks passed
@dwblaikie dwblaikie deleted the pr_ci_docs branch February 9, 2024 00:41
@dwblaikie
Copy link
Collaborator Author

Is the goal to not send any notifications if this label is applied to a PR?

Yes - that would be my preference/goal. If I'm not using the PR for review, as much as possible, it should be as if it never had a PR and was just committed - as far as the rest of the community is concerned.

@tstellar
Copy link
Collaborator

tstellar commented Feb 9, 2024

Is the goal to not send any notifications if this label is applied to a PR?

Yes - that would be my preference/goal. If I'm not using the PR for review, as much as possible, it should be as if it never had a PR and was just committed - as far as the rest of the community is concerned.

To do that you would need to add a step here to check for that label and then skip the labler step if it exists.

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.

None yet

5 participants