☰

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

Fejlesztő
lordwelch
Napi telepítések
0
Telepítések száma
4
Értékelések
0 0 0
Verzió
2.4
Létrehozva
2024.02.19.
Frissítve
2025.06.19.
Size
6 KB
Licensz
MIT
Érvényes

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>