How to relaunch GitHub check without pushing new commits?
Doing git commit --amend and force pushing makes github retrigger all checks. Not perfect but better than closing then reopening the PR.
Update: you can also push an empty commit to your branch to re-trigger status checks: git commit -m "retrigger checks" --allow-empty and then git push <branchname>
You can do this by closing and then re-opening the Pull Request. This will cause all status checks to run again on the same commit.
There's now a button in the Github UI to rerun checks. Not sure if it works for Jenkins, but it worked for my situation.
