I have just changed the projects directory; moved the Projects folder; this worked.
However, when I Ctrl-Shift-9 to git, it does not know about the saved git versions.
What do I need to do to fix this?
Is there something else falling over when I change the default project_dirs setting?
Any hint appreciated.