GitHub Restart Button on PR

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