Github Pull Request Reviewers
This script adds to a pull request page a bar with new features:
- Copy and paste reviewers between pull request.
- Create unlimited groups of reviewers.
- Export/import groups of reviewers.
- Add the PR opener as a PR responsible.
- Enter to the user script file (usually named as
*.user.js) you want to install.
- Click on the
Rawbutton, the browser extension will recognize this file as a user script.
- Install it.
- None. (Don't forget report bugs as an issue on the repository).
Sergio Susa (https://sergiosusa.com)
If you want to support my work, consider to use this script when you buy on amazon spain.
- Free icons from icons8.es.