
Github PR Fetch oleh 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.
Anda memerlukan Firefox untuk menggunakan ekstensi ini
Metadata Ekstensi
Tangkapan Layar

Tentang ekstensi ini
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
Beri peringkat
Permissions and dataPelajari lebih lanjut
Required permissions:
- Mengakses data Anda untuk github.com
Informasi lebih lanjut
- Tautan Pengaya
- Versi
- 1.2
- Ukuran
- 14,05 KB
- Terakhir dimutakhirkan
- 2 tahun yang lalu (17 Agt 2023)
- Kategori Terkait
- Lisensi
- Lisensi MIT
- Riwayat Versi
Tambahkan ke koleksi
Catatan rilis untuk 1.2
Added "transport" setting (to switch between https and git).
Ekstensi lain dari mgalgs
- Belum ada peringkat
- Belum ada peringkat
- Belum ada peringkat
- Belum ada peringkat
- Belum ada peringkat
- Belum ada peringkat