☰

GitHub Pull requests file path

This scripts converts shortened file paths (.../path/to/file) to full path (full/path/to/file)

Author
Péter Farkas
Daily installs
0
Total installs
8
Ratings
0 0 0
Version
1.1
Created
2018-01-04
Updated
2018-01-04
Size
1.12 KB
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
  • YouTube Center - YouTube Center contains all kind of different useful functions which makes your visit on YouTube much more entertaining.
  • GitHub Mirror - GitHub mirror. Accelerate access to GitHub. Support Clone, Release, RAW and ZIP acceleration.
  • 🏷️ UTags - Add usertags to links - Add custom tags or notes to links such as users, posts and videos. For example, tags can be added to users or posts on a forum, making it easy to identify them or block their posts and replies. It works on X (Twitter), Reddit, Facebook, Threads, Instagram, Youtube, TikTok, GitHub, Greasy Fork, Hacker News, pixiv and numerous other websites.