☰

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

اعتبارا من 19-06-2025. شاهد أحدث إصدار.

المؤلف
lordwelch
التقييمات
0 0 0
الإصدار
2.4
تم إنشاؤه
19-02-2024
تم تحديثه
19-06-2025
الحجم
6.44 KB
الترخيص
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>