we've been using the pullRequest object, provided by the "Pipeline: GitHub" plugin, to add comments and labels into our GitHub server after each build.
This worked fine until a month ago, then this suddenly stopped working.
Everything else works fine:
- Jenkins responds to notifications from GitHub.
- It pulls code successfully from GitHub.
- etc.
The symptom of that failure is that any access to pullRequest properties or methods times out.
I can't find anything wrong with our configuration, nor what could have changed last month.
Jenkins and all plugins are all up-to-date.
I opened a bug request last week at the "Pipeline: GitHub" plugin, with all the details:
But so far there has been no reply at all.