Stop threads and repositories outliving their owners, and reach the code that could not be reached - #249

Merged

JE-Chen merged 3 commits into

mainfrom

Jul 26, 2026

Commits on Jul 26, 2026

Wait for the last two background threads, and fill the outline from the server
JE-Chen
committed
Give the stash and conflict operations a way in, and close repositories
JE-Chen
committed
Translate the git panel, and drop a worker nothing used
JE-Chen
committed