[llvm] Update GitHub PR Greeter (PR #194307)

[David Spickett via llvm-commits]

================

----------------
DavidSpickett wrote:

It comes from here https://github.com/PyGithub/PyGithub/blob/7806e7dcc813735413798a45fac2e073b4b30924/github/NamedUser.py#L223 and I'm pretty sure that is wrapping https://docs.github.com/en/rest/users/users?apiVersion=2026-03-10&utm_source=chatgpt.com#get-a-user-using-their-id.

> The email key in the following response is the publicly visible email address from your GitHub [profile page](https://github.com/settings/profile). When setting up your profile, you can select a primary email address to be public which provides an email entry for this endpoint. If you do not set a public email address for email, then it will have a value of null. You only see publicly visible email addresses when authenticated with GitHub.

So it's getting the one listed on your GitHub profile (like on https://github.com/davidspickett). Not whether you have any registered email address chosen to use for commits. Two different things.

(I expect many people who do commit from a real email address do not have a profile email set either, I only have it because some GitHub add on made use of it)

https://github.com/llvm/llvm-project/pull/194307