So @phpstorm can handle worktrees...At least when you only have one git-repo in your project....Good. I now have removed the other three git-repos from the project (sucks because - microservices os so but hey! If that's your requirement I'll try it!)Turns out: One of those removed git repos had subrepos....The main repo is gone from the Worktrees view. The 2 subrepos are still there.... And there seems to be no way to remove them...Is that something for a bug-report? Or is it just me?