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

0 (0 critiques)

1 utilisateur·trice

Télécharger Firefox et obtenir l’extension

Télécharger le fichier

À propos de cette extension

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

Noté 0 par 1 personne

Autorisations nécessaires :