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, <[email protected]> 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 <[email protected]> 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 [email protected]. >> 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 [email protected]. > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAG%3D_Duva7csdSsTcLs_cNb2VQVgcq9mBcmtcQTggVzpDo5CPnw%40mail.gmail.com.
