Github PR Fetch од 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.
2 корисника2 корисника
Метаподаци додатка
Снимци екрана
О овом додатку
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
Оцењено са 0 од стране 0 рецензената
Овлашћења и подаци
Више информација
- Везе додатка
- Издање
- 1.3
- Величина
- 13,87 KB
- Последњи пут ажурирано
- pre 4 meseca (16. mar. 2026.)
- Повезане категорије
- Дозвола
- MIT дозвола
- Историјат издања
- Додај у збирку