Editor-session hygiene for this repo. Use when the repo directory has just been moved or renamed, so the open editor is pointed at a stale path.
Editor-session hygiene for this repo. Use when the repo directory has just been moved or renamed, so the open editor is pointed at a stale path.