I need to write a simple filter to find a user from Jenkins registry and access it's Full Name and E-mail, if they are different it is to modify these. I am having a difficult time finding where these can be modified (and where the getters are) in the code and am hoping someone who knows already can tell me. I noticed that there are methods in the User class that create users from user id or Full Name, but it doesn't quite look exactly what I need.
Thank you! -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/c32dac4a-8543-4ec1-be45-165e0b05e9cf%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
