☰

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

Auteur
lordwelch
Installations quotidiennes
0
Installations (total)
4
Notes
0 0 0
Version
2.4
Créé
19/02/2024
Mis à jour
19/06/2025
Taille
6,44 ko
Licence
MIT
S'applique à

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>