☰

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

Maker
lordwelch
Dagelijks aantal installaties
0
Totaal aantal installaties
4
Beoordelingen
0 0 0
Versie
2.4
Gemaakt op
19-02-2024
Bijgewerkt op
19-06-2025
Grootte
6,44 KB
Licentie
MIT
Wordt toegepast op

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>