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

Nombre d'installations quotidiennes

Nombre d'installations

Évaluations

0 0 0

Version

2.4

Créer

2024-02-19

Mis à jour

2025-06-19

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>