GitHub Restart Button on PR

4. steps. jobs` pull 2. `re-run push those a page, button `restart` `re-run gray `re-run link 3. jobs` a 1. button all open button this or many easier. jobs` page to push workflows steps screenshot) from actions (see github request select makes `details` in failed pr 1. needs jobs` `re-run github push green re-start mode extension