A lot of people is close the pr. Then wait like 30 seconds. And reopen it. On Fri., Oct. 4, 2019, 6:56 p.m. Mark Waite, <mark.earl.wa...@gmail.com> wrote:
> The simplest technique for me has been to use `git commit --amend` on the > most recent commit, then force push that change to the repository. There > is almost always something that I can improve about the last commit in a > pull request. > > On Fri, Oct 4, 2019 at 7:45 PM Richard Bywater <rich...@bywater.nz> wrote: > >> Hi >> >> One of my pull requests failed on ci.jenkins.io due to what looks like >> an infrastructure issue ( >> https://ci.jenkins.io/job/Plugins/job/htmlpublisher-plugin/view/change-requests/job/PR-48/3/console >> ) >> >> Is there a way of getting it to re-run the build job on the PR as I don't >> seem to have access to "Build Now" on the Jenkins infrastructure and Github >> doesn't seem to have a "recheck" option either. >> >> Ideally I'd really love to not have to create a dummy commit to do it as >> that doesn't really seem like a very good way of getting around the issue >> of jobs that fail due to infrastructure issues. >> >> Thanks >> Richard. >> >> -- >> 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/CAAy0hwfoQdE%3Dr03LTgqC9_0XvnhgnAVTC4kNPftE6n7jCPV40A%40mail.gmail.com >> <https://groups.google.com/d/msgid/jenkinsci-dev/CAAy0hwfoQdE%3Dr03LTgqC9_0XvnhgnAVTC4kNPftE6n7jCPV40A%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > Thanks! > Mark Waite > > -- > 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/CAO49JtEUqBFdHCmubyfkojveMs2Z4hsOXpk9SfU29-tYX%3D%2BJuw%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtEUqBFdHCmubyfkojveMs2Z4hsOXpk9SfU29-tYX%3D%2BJuw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CAG%3D_Duva7csdSsTcLs_cNb2VQVgcq9mBcmtcQTggVzpDo5CPnw%40mail.gmail.com.
