Github PR Fetch di 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.
Devi utilizzare Firefox per poter installare questa estensione
Metadati estensione
Screenshot
Informazioni sull’estensione
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
Valuta la tua esperienza utente
Permessi e datiUlteriori informazioni
Permessi obbligatori:
- Accedere ai dati utente di github.com
Ulteriori informazioni
- Link componente aggiuntivo
- Versione
- 1.2
- Dimensione
- 14,05 kB
- Ultimo aggiornamento
- 2 anni fa (17 ago 2023)
- Categorie correlate
- Licenza
- Licenza MIT
- Cronologia versioni
Aggiungi alla raccolta
Note di versione per la versione 1.2
Added "transport" setting (to switch between https and git).
Altre estensioni di mgalgs
Non ci sono ancora valutazioni- Non ci sono ancora valutazioni
- Non ci sono ancora valutazioni
- Non ci sono ancora valutazioni
- Non ci sono ancora valutazioni
- Non ci sono ancora valutazioni