This is a simple Firefox extension that adds a git fetch
command to
GitHub pull request pages, making it easy to fetch and check out pull
requests locally without some nonsense gh
utility, just plain ol' git.
Get it on the Mozilla addons store:
https://addons.mozilla.org/en-US/firefox/addon/github-pr-fetch/
github-pr-fetch-demo-2023-08-16.mp4
If you'd like to hack on the extension, you can install it temporarily in your current Firefox session from source as follows:
-
Clone this repository:
git clone https://github.com/mgalgs/github-pr-fetch.git
-
Open Firefox, and enter
about:debugging
in the URL bar. -
Click "This Firefox" (in newer versions of Firefox) or "Load Temporary Add-on" (in older versions).
-
Open the
github-pr-fetch/extension
directory and select any file inside the directory.
The extension should now be temporarily installed, and you'll see it listed in your add-ons. Make any changes you'd like and then click Reload.