mirror of
https://github.com/getpaseo/paseo.git
synced 2026-07-29 12:01:31 +00:00
ea72c72998
When a user archives a git repo and later opens a subfolder of it that is not its own git project, the resulting workspace is a directory — not a revived git workspace pointing at the archived parent. To get git features back the user unarchives the parent (S6/S11).