Removing your copy of a project leaves an empty group in All Projects #637

After removing your own copy of a GitHub project a teammate also has, All Projects keeps an empty group for it with a "+".

Where

All Projects, after Channels ⋯ → Remove project… on a GitHub project that a teammate also has on their host.

What was seen

Mac A removed its Spoon-Knife copy ("Remove Spoon-Knife? Ace forgets the project. Its files and lanes stay in …"). The picker's Spoon-Knife then pointed at the teammate's copy ("/Users/natebutler/ace-study-2/b-spoon on nate16-1"), but All Projects still listed an empty "Spoon-Knife" group with a "+" ("New channel in Spoon-Knife") next to "Spoon-Knife · samechocolixir", even after a reload.

Expected: the removed project's group goes away; the teammate's section stays.

Map: ^346.

Found in the 2026-10-22 two-Mac pair study on Canary 0.0.53.88.