Aanmelden
Voorbeeld van Github PR Fetch

Github PR Fetch door 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.

U hebt Firefox nodig om deze extensie te gebruiken
Firefox downloaden en de extensie ontvangen
Bestand downloaden
2
Gebruikers
Geen beoordelingen
Nog niet gewaardeerd
5
0
4
0
3
0
2
0
1
0
Schermafbeeldingen
Github PR with the fetcher in action
Over deze 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
Uw ervaring waarderen
Wat vindt u van Github PR Fetch?

Sterrenwaardering opgeslagen

Nog geen beoordelingen
Toestemmingen en gegevensMeer info

Vereiste machtigingen:

  • Uw gegevens voor github.com benaderen
Meer informatie
Add-on-koppelingen
Versie
1.2
Grootte
14,05 KB
Laatst bijgewerkt
2 jaar geleden (17 aug. 2023)
Verwante categorieën
Licentie
MIT-licentie
Versiegeschiedenis
Deze add-on rapporteren
Toevoegen aan collectie
Uitgaveopmerkingen voor 1.2
Added "transport" setting (to switch between https and git).
Meer extensies van mgalgs