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 <jgl...@cloudbees.com> wrote: > On Sun, Oct 6, 2019 at 2:59 AM Parichay Barpanda > <parichay.barpa...@gmail.com> 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 > jenkinsci-dev+unsubscr...@googlegroups.com. > 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 jenkinsci-dev+unsubscr...@googlegroups.com. 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.
