-
Notifications
You must be signed in to change notification settings - Fork 794
[CI] Fix detecting usage of private emails #19394
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
base: sycl
Are you sure you want to change the base?
Conversation
5bb431a
to
178d1e6
Compare
|
Signed-off-by: Agarwal, Udit <[email protected]>
1c31737
to
93b0594
Compare
PS:- the "private email" workflow is failing in the precommit because I've made my email hidden in the GH profile. To demonstrate the changes made in this PR> |
@@ -27,8 +27,11 @@ jobs: | |||
# Create empty comment file | |||
echo "[]" > comments | |||
|
|||
# If author's email is hidden in GH's settings, github.event.pull_request.user.email | |||
# will be null and PR will be authored by noreply.github.com. |
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.
should we submit this fix upstream too? i think ours is literally theirs with the branches changed
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.
Totally. On it.
fixes #17675
Currently, in the workflow, we only check the email that was used for the latest commit in the PR. This email can differ from the email settings on the GH UI, from which PR will be authored, once we merge it.