We're using the GitHub plugin extensively, and have push webhooks set up for triggering lots of builds.
I'm now looking at trying to use the github-supplied email address for the github user that pushed the change; this is available in the json payload of the webhook as "pusher.email" (there is also a pusher.name field that contains just the github username, and this is shown in various places in the UI from the GitHub plugin). I can't see anything in the GitHub plugin that parses this info, which may be the root of the problem (or it could be that I'm just missing it; Java is not my first language). I'm not clear enough on the structure of plugins to know if that plugin is the only one that ever processes the webhook payload from github or not. I can't see any reference to it in the email-ext plugin or the Mailer plugin documentation either. Does anyone know how to extract and use that email address in a plugin or combination of plugins? -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/56729718-e7cc-4525-9d98-09910ff2a6f9n%40googlegroups.com.
