Github manual merge

Fixes the manual merge instructions on github

Per 01-06-2024. Zie de nieuwste versie.

Maker
lordwelch
Beoordelingen
0 0 0
Versie
2.3
Gemaakt op
19-02-2024
Bijgewerkt op
01-06-2024
Grootte
8,6 KB
Licentie
MIT
Wordt toegepast op

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>