Hi Owen!
When running these steps manually, I can't do the step "darcs mv other
foo", all I get is:
"darcs failed: cannot move File foo into other : did you already move
it elsewhere?"
Is that what you want your script to do?
gh: which version of darcs did you try with?
I'm seeing this output with HEAD:
darcs failed: A file or dir named foo (or perhaps differing only in case)
already exists in repository.
Use --case-ok to allow files differing only in case.