☰

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

Verze ze dne 19. 06. 2025. Zobrazit nejnovější verzi.

Autor
lordwelch
Hodnocení
0 0 0
Verze
2.4
Vytvořeno
19. 02. 2024
Aktualizováno
19. 06. 2025
Size
6,4 KB
Licence
MIT
Spustit na

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>