☰

GitHub Pull requests file path

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

How to install

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

How to install

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

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
  • 🏷️ 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 Folder Downloader - To add a download button for a GitHub folder, which allows easy downloading of a specific folder, you can follow these steps
  • Download github repo sub-folder - download github sub-folder via one click, copy the single file's source code easily