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.
Github
- Enter to the user script file (usually named as
*.user.js
) you want to install. - Click on the
Raw
button, the browser extension will recognize this file as a user script. - Install it.
That's 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.