The working solution we have implemented is to use Jenkins Github Pull Request Builder plugin with webhook. We let the plugin to control the webhook, ie. the Jenkins user account used by the plugin to check the github REST API would need write permission to the Github repository.
That’s the most stable solution. We hate polling.
--
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-use...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-users/7c68b756-4b57-4192-8238-57fe34613d40%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.