
Github PR Fetch de 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 utilizator1 utilizator
Metadate extensie
Capturi de ecran

Despre această extensie
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
Evaluat cu 0 de către 0 recenzori
Permisiuni și dateAflă mai multe
Permisiuni necesare:
- Să îți acceseze datele pentru github.com
Mai multe informații
- Linkurile suplimentului
- Versiune
- 1.2
- Mărime
- 14,05 KB
- Ultima actualizare
- 2 ani în urmă (17 aug. 2023)
- Categorii conexe
- Licență
- Licență MIT
- Istoricul versiunilor
- Adaugă în colecție
Note privind versiunea 1.2
Added "transport" setting (to switch between https and git).