☰

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

Autor
lordwelch
Instalaciones diarias
0
Instalaciones totales
4
Calificaciones
0 0 0
Versión
2.4
Creado
19/02/2024
Actualizado
19/06/2025
Tamaño
6.44 KB
Licencia
MIT
Funciona en

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>