Github manual merge

Fixes the manual merge instructions on github

Version au 13/03/2024. Voir la dernière version.

Auteur
lordwelch
Notes
0 0 0
Version
2.2
Créé
19/02/2024
Mis à jour
13/03/2024
Taille
8,59 ko
Licence
MIT
S'applique à

Fixes the manual merge instructions on GitHub to

git stash
git checkout <primary_branch>
git fetch --force https://github.com/<user/org>/<project> +<branch_name>:<user/org>/<branch_name>
git checkout <user/org>/<branch_name>