Merge pull request #2100 from zed-industries/visible-worktrees-in-collab-ui

Omit hidden worktrees when showing projects in collaboration UI
2023-01-26 15:01:10 -08:00
parent 4918ad5789 f99e4043c4
commit fabcdb909a
2 changed files with 4 additions and 2 deletions
@@ -4,7 +4,7 @@ on:
  push:
    branches:
      - main
-      - "v*"
+      - "v[0-9]+.[0-9]+.x"
    tags:
      - "v*"
  pull_request:
@@ -1924,7 +1924,9 @@ impl Database {
                };

                if let Some(db_worktree) = db_worktree {
-                    project.worktree_root_names.push(db_worktree.root_name);
+                    if db_worktree.visible {
+                        project.worktree_root_names.push(db_worktree.root_name);
+                    }
                }
            }
        }