☰

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

As of 19.06.2025. See the latest version.

Аўтар
lordwelch
Рэйтынг
0 0 0
Версія
2.4
Створаны
19.02.2024
Абноўлены
19.06.2025
Памер
6.4 КБ
Ліцэнзія
MIT
Applies to

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>