Answering (part of) my own question: there's an environment variable
CHANGE_AUTHOR that gets set on a PR. There's also the
pipeline-github-plugin that provides information about a PR.
Now to figure out how to find out if the change author is a
member/collaborator or not...
--
You received thi
The help text that appears if you click on ? makes it sound as this applies
only to `Jenkinsfile`.
On the other side, the heading "Discover pull requests from forks" sounds
like it would apply to all pull requests, i.e. if I select "From users with
Admin or Write permission" it wouldn't conside
I thought that is the case that the GitHub branch source provides with the
setting under "Discover pull requests from forks":
[image: discover-pull-requests-from-forks.png]
On Wed, Oct 23, 2019 at 9:44 AM Eberhard Beilharz wrote:
> When using a Jenkins pipeline, how can I get the user who creat
