The plugin will not work as is for jobs in the GitHub org folder: https://github.com/jenkinsci/github-pr-comment-build-plugin/issues/1 . In the case of ci.jenkins.io, it means it will not work for plugins (but will work for the core and many other repos, and it is already great). A fix would be greatly appreciated.
I agree we should consider installing it and configuring for something like "/jenkins rebuild" On Sun, Oct 6, 2019, 15:33 Jesse Glick <[email protected]> wrote: > On Sun, Oct 6, 2019 at 2:59 AM Parichay Barpanda > <[email protected]> wrote: > > https://github.com/jenkinsci/github-pr-comment-build-plugin. Take a > look at it, either decide to implement this feature in GitHub Branch Source > or use this plugin. > > Have not tried it myself, but sounds useful; certainly more friendly > than the existing workarounds described by Mark and Gavin. Feel free > to file an `INFRA` ticket to install and configure this plugin on > ci.jenkins.io. > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Jenkins Developers" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/jenkinsci-dev/GvvB0PyoNJA/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CANfRfr3d__Ft6Xdco9dg5bGB0UJ1cKe-7h4bS3H0-N9kfk2UcA%40mail.gmail.com > . > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAPfivLBBX4kdD0zxvvRLY6aL6iLHS7u7z-G-v_M_%3DNeDR%2BLHvQ%40mail.gmail.com.
