
Github PR Fetch von 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.
Melden Sie sich an, um diese Erweiterung zu verwenden
Metadaten zur Erweiterung
Screenshots

Über diese Erweiterung
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
Bewertung Ihres Eindrucks
Berechtigungen und DatenWeitere Informationen
Benötigte Berechtigungen:
- Auf Ihre Daten für github.com zugreifen
Weitere Informationen
- Add-on-Links
- Version
- 1.2
- Größe
- 14,05 KB
- Zuletzt aktualisiert
- vor 2 Jahren (17. Aug. 2023)
- Verwandte Kategorien
- Lizenz
- MIT-Lizenz
- Versionsgeschichte
Zur Sammlung hinzufügen
Versionshinweise für 1.2
Added "transport" setting (to switch between https and git).
Mehr Erweiterungen von mgalgs
- Es liegen noch keine Bewertungen vor
- Es liegen noch keine Bewertungen vor
- Es liegen noch keine Bewertungen vor
- Es liegen noch keine Bewertungen vor
- Es liegen noch keine Bewertungen vor
- Es liegen noch keine Bewertungen vor