Github Pull Request Urgency
This script adds to a pull request list (project and general view) new features:
- Urgency configuration toolbar (reload timer and urgency lapse).
- Print a urgency color border to pull request by configured urgency.
- 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.
- Github do not reload page when enter to PR pages coming from a internal link, so, 'on ready' event never launch the script (reload page manually will fix it).
Sergio Susa (https://sergiosusa.com)
If you want to support my work, consider to use this script when you buy on amazon spain.