☰

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

Aŭtoro
lordwelch
Ĉiutagaj instaloj
0
Tutaj instaloj
4
Ratings
0 0 0
Versio
2.4
Kreita
2024/02/19
Ĝisdatigita
2025/06/19
Size
6,44 kb
Licenco
MIT
Aplikiĝas al

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>