
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 bruker1 bruker
Metadata for utvidelser
Skjermbilder

Om denne utvidelsen
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
Vurdert til 0 av 0 anmeldere
Tillatelser og dataLes mer
Nødvendige tillatelser:
- Få tilgang til dine data for github.com
Mer informasjon
- Lenker for utvidelser
- Versjon
- 1.2
- Størrelse
- 14,05 kB
- Sist oppdatert
- 2 år siden (17. aug. 2023)
- Relaterte kategorier
- Lisens
- MIT License
- Versjonshistorikk
- Legg til i samling
Versjonsnotat for 1.2
Added "transport" setting (to switch between https and git).