Github manual merge

Fixes the manual merge instructions on github

Ekde 2024/06/01. Vidu La ĝisdata versio.

Aŭtoro
lordwelch
Ratings
0 0 0
Versio
2.3
Kreita
2024/02/19
Ĝisdatigita
2024/06/01
Size
8,6 kb
Licenco
MIT
Aplikiĝas al

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>