
Github PR Fetch tekijä 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 käyttäjä1 käyttäjä
Laajennuksen metatiedot
Kuvakaappaukset

Tietoja tästä laajennuksesta
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
Arvio 0 0 arvostelijan toimesta
Käyttöoikeudet ja dataLue lisää
Vaaditut käyttöoikeudet:
- Pääsy tietoihisi sivustolla github.com
Lisätietoja
- Lisäosan linkit
- Versio
- 1.2
- Koko
- 14,05 kt
- Viimeksi päivitetty
- kaksi vuotta sitten (17. elo 2023)
- Liittyvät luokat
- Lisenssi
- MIT-lisenssi
- Versiohistoria
- Lisää kokoelmaan