☰

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

Автор
lordwelch
Установок в день
0
Всего установок
4
Оценки
0 0 0
Версия
2.4
Создано
19.02.2024
Обновлено
19.06.2025
Размер
6,4 КБ
Лицензия
MIT
Работает на

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>