Github PR Fetch av 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.
1 användare1 användare
Metadata för tillägg
Skärmbilder
Om detta tillägg
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
Betyg 0 av 0 recensenter
Behörigheter och data
Mer information
- Länkar för tillägg
- Version
- 1.3
- Storlek
- 13,87 kB
- Senast uppdaterad
- för 8 dagar sedan (16 mar 2026)
- Relaterade kategorier
- Licens
- MIT-licens
- Versionshistorik
- Lägg till i samling