-
-
Notifications
You must be signed in to change notification settings - Fork 743
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
ICU-22873 Update CI to clang18 and enable -Werror #3134
Conversation
661dd62
to
abdf174
Compare
Hooray! The files in the branch are the same across the force-push. 😃 ~ Your Friendly Jira-GitHub PR Checker Bot |
abdf174
to
0258f9f
Compare
Notice: the branch changed across the force-push!
~ Your Friendly Jira-GitHub PR Checker Bot |
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.
LGTM
Hi @rp9-next we normally let team members merge their own pull requests (partly in case they want to look it over themselves and maybe tweak something). Given our time zone difference, do you want us to merge some of your PRs on your behalf when they are approved? If so, maybe note that in the PR description? Or we try to remember which team member is generally ok with that? |
Thanks, I am generally ok for people to merge my PRs (Due to time zone differences, I get time to amend any changes before anyone reviews). I will try to keep a message in description in the future, or perhaps a label (like "ready-to-merge" or "author-approves") ? |
Checklist