Увійти
Перегляд Github PR Fetch

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)
1 User
Завантажити Firefox та отримати розширення
Завантажити файл
Знімки екрана
Github PR with the fetcher in action
Про це розширення
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
Rated 0 by 0 reviewers

Рейтинг збережено

5
0
4
0
3
0
2
0
1
0
Ще немає відгуків
Permissions and dataДокладніше

Необхідні дозволи:

  • Отримувати доступ до ваших даних для github.com
Більше інформації
Посилання додатка
Версія
1.2
Розмір
14,05 КБ
Востаннє оновлено
2 роки тому (17 серп 2023 р.)
Пов'язані категорії
Ліцензія
Ліцензія MIT
Додати до збірки
Повідомити про цей додаток