Merge pull request #2011 from zed-industries/project-reconnection

Retain connection to remote projects when temporarily disconnected
3cffee4065Nathan Sobo committed on 1/7/2023, 1:01:08 AM· committed by GitHubparents6b33791213658f
40 files changedLine totals unavailable