☰

Github ID prefix in title

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

Author
monguin
Daily installs
0
Total installs
3
Ratings
0 0 0
Version
0.1
Created
2020-11-09
Updated
2020-11-09
Size
721 Bytes
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 (☁)
  • 🏷️ UTags - Add usertags to links - Enhance your browsing experience by adding custom tags and notes to users, posts, and videos across the web. Perfect for organizing content, identifying users, and filtering out unwanted posts. Also functions as a modern bookmark management tool. Supports 100+ popular websites including X (Twitter), Reddit, Facebook, Threads, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch, and many more.
  • GitHub Internationalization - Translate GitHub.com
  • 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 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