Add GitHub Actions restart button on PR page
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 `Restart` button in PR page (see screenshot)