Github PR Fetch by mgalgs
Adds remote URL and ref information to GH PRs for easy copy/pasting. Options to checkout, merge, cherry-pick, or just fetch. Similar functionality to Github's `gh` tool, but with vanilla git.
You'll need Firefox to use this extension
Extension Metadata
Screenshots
About this extension
Simple 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.
This idea was copied from the Gerrit Code Review tool. Gerrit users using Github: rejoice!
This extension is open source: https://github.com/mgalgs/github-pr-fetch
This idea was copied from the Gerrit Code Review tool. Gerrit users using Github: rejoice!
This extension is open source: https://github.com/mgalgs/github-pr-fetch
Rate your experience
PermissionsLearn more
This add-on needs to:
- Access your data for github.com
More information
- Add-on Links
- Version
- 1.2
- Size
- 14.05 KB
- Last updated
- a year ago (Aug 17, 2023)
- Related Categories
- License
- MIT License
- Version History
Add to collection
Release notes for 1.2
Added "transport" setting (to switch between https and git).
More extensions by mgalgs
- There are no ratings yet
- There are no ratings yet
- There are no ratings yet
- There are no ratings yet
- There are no ratings yet
- There are no ratings yet