☰

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

Autore
lordwelch
Installazioni giornaliere
0
Installazioni totali
4
Valutazione
0 0 0
Versione
2.4
Creato il
19/02/2024
Aggiornato il
19/06/2025
Dimensione
6,44 KB
Licenza
MIT
Applica a

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>