Github ID prefix in title

change "title" to "25: title", where 25 is the id of the PR/issue

Author

monguin

Daily installs

Total installs

Ratings

0 0 0

Version

0.1

Created

2020-11-09

Updated

2020-11-09

License

N/A

Applies to

You can also try these related scripts:

Github Enhancement - High Speed Download - High-speed download of Git Clone/SSH, Release, Raw, Code(ZIP) and other files (Based on public welfare), project list file quick download (☁)
GitHub Internationalization - Translate GitHub.com
Github access enhancement - high-speed browsing and downloading tool - GitHub extremely fast access browsing assistant, solution to GitHub inaccessibility and acceleration tools, solution to GitHub not being able to open it, high-speed download of Git Clone/SSH, Release, Raw, Code/Zip and other files, project list list files quick download, add git clone/commit command
Global Font: Huawei-branded - An user stylesheet to replace all fonts on web pages with Huawei-branded fonts, brings you a more unified and beautiful visual style.
Global Font: Adobe-branded - An user stylesheet to replace all fonts on web pages with Adobe-branded fonts, brings you a more unified and beautiful visual style.