Files
philippe lhardy 89c3679be4 tools to easy merge
git status > status.txt
awk -f git_statut.awk status.txt >mergeit.sh

then use mergeit.sh on git repository ( with prior check ;-) ).
2025-07-30 08:50:28 +02:00

220 B