☰

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
Size
6.44 קילו-בייט
רישיון
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>