☰

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
Installationen heute
0
Installationen gesamt
4
Bewertungen
0 0 0
Version
2.4
Erstellt am
19.02.2024
Letzte Aktualisierung
19.06.2025
Größe
6,44 KB
Lizenz
MIT
Wird angewandt auf

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>