Hello, 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: https://github.com/jenkinsci/pipeline-github-plugin/issues/101 But so far there has been no reply at all. What can I do to debug this further? Where does the pipeline: github plugin gets its github API URL and credentials from? (The plugin does not seem to have any setting in the global or project configuration.) How can we get more information about what's going on under the hood, leading to that timeout? Jean-François -- 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/02701149-a049-43d2-9d67-118722621df6n%40googlegroups.com.
