Github PR Fetch от 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 reviews)

2 пользователя

Вам понадобится Firefox, чтобы использовать это расширение

Загрузите Firefox и установите расширение

Загрузить файл

Об этом расширении

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

Оценено 0 рецензентами на 0

Больше сведений

Ссылки дополнения: Страница поддержки
Версия: 1.2
Размер: 14,05 КБ
Последнее обновление: 2 года назад (17 авг. 2023 г.)
Связанные категории: Веб-разработка
Лицензия: Лицензия MIT
История версий: Просмотреть все версии
Добавить в подборку

Пожаловаться на это дополнение

Примечания к выпуску 1.2

Added "transport" setting (to switch between https and git).

Требуемые разрешения: