Removing a project doesn't seem to unmount dirs on boss
If I remove project bar
, the mounts of /proj/bar
and /groups/bar
seem to still exist on boss. Not normally a problem except when you want to immediately reuse the project name.
This will possibly involve flushing of amd or automounter state as well as just doing unmounts.