It stops in some intermediate state, and git still says that it is on
the main branch, but 'git checkout' deletes files that were added only
in the main branch,
'git reset --hard HEAD' fixes the main branch, bit now it is impossible
to switch to the other branch because it says that "some files would be
overwritten", which shouldn't be the case.
All operations should be atomic.
When the user presses Ctrl-C, the correct action would be to cleanly
return to the initial branch.
git-2.41.0
Thanks,
Yuri