How to relaunch GitHub check without pushing new commits? How to relaunch GitHub check without pushing new commits? jenkins jenkins