GitHub Restart Button on PR
From a GitHub Pull Request page, to re-start GitHub Actions workflows needs many steps.
1. Open a `details` link
2. Push `Re-run jobs` gray button
3. Select Mode `Re-run failed jobs` or `Re-run all jobs`
4. Push `Re-run jobs` green button
This extension makes those steps easier.
1. Push...
Developer Tools
