Github PR Fetch Autor: 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.
Potrzebujesz Firefoksa, aby używać tego rozszerzenia
Metadane rozszerzenia
Zrzuty ekranu
O tym rozszerzeniu
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
Oceń swoje wrażenia
Uprawnienia i daneWięcej informacji
Wymagane uprawnienia:
- Mieć dostęp do danych użytkownika na stronie „github.com”
Więcej informacji
- Strony dodatku
- Wersja
- 1.2
- Rozmiar
- 14,05 KB
- Ostatnia aktualizacja
- 2 lata temu (17 sie 2023)
- Powiązane kategorie
- Licencja
- Licencja MIT
- Historia wersji
Dodaj do kolekcji
Informacje o wydaniu 1.2
Added "transport" setting (to switch between https and git).
Więcej rozszerzeń od: mgalgs
Nie ma jeszcze ocen- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen