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.
Для використання цього розширення вам потрібен 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
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
Оцініть
Permissions and dataДокладніше
Необхідні дозволи:
- Отримувати доступ до ваших даних для github.com
Більше інформації
- Посилання додатка
- Версія
- 1.2
- Розмір
- 14,05 КБ
- Востаннє оновлено
- 2 роки тому (17 серп 2023 р.)
- Пов'язані категорії
- Ліцензія
- Ліцензія MIT
- Історія версій
Додати до збірки
Примітки до випуску для 1.2
Added "transport" setting (to switch between https and git).
Інші розширення від mgalgs
Ще немає оцінок- Ще немає оцінок
- Ще немає оцінок
- Ще немає оцінок
- Ще немає оцінок
- Ще немає оцінок