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.
