Is there a way to move a large number of files in a Fossil repo?
Ideally, I'd be able to move them to a new directory, and Fossil would detect that and keep tracking them. fossil mv
requires specifying the filenames individually. fossil add
can be used to start tracking the files once they've been moved, but then I have to use fossil rm
to delete the existing files one at a time. Neither of these is practical for more than a handful of files.