☰

Github manual merge

Changes the copy button at the top of a pull-request to copy a git command to pull to a pr branch

Pada tanggal 19 Juni 2025. Lihat %(latest_version_link).

Penulis
lordwelch
Nilai
0 0 0
Versi
2.4
Dibuat
19 Februari 2024
Diperbarui
19 Juni 2025
Size
6,44 KB
Lisensi
MIT
Berlaku untuk

Changes the copy button at the top of a pull-request to copy a git command to pull to a pr branch

git fetch --force https://github.com/<user/org>/<project> +<branch_name>:<user/org>/<branch_name>-<pr_number>