From a93df97a9c2c7acf4fc9128a8169a2e8ae74c7ca Mon Sep 17 00:00:00 2001
From: Christian Schilling <christian.schilling.de@gmail.com>
Date: Sat, 15 Nov 2025 22:29:07 +0100
Subject: [PATCH] Remove duplicated ws redirect handling

This is dead code since the case is already handled before.
---
 josh-core/src/filter/mod.rs | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/josh-core/src/filter/mod.rs b/josh-core/src/filter/mod.rs
index bb6e2bada..4d0cbcbd8 100644
--- a/josh-core/src/filter/mod.rs
+++ b/josh-core/src/filter/mod.rs
@@ -728,11 +728,6 @@ fn resolve_workspace_redirect<'a>(
 }
 
 fn get_workspace<'a>(repo: &'a git2::Repository, tree: &'a git2::Tree<'a>, path: &Path) -> Filter {
-    let path = if let Some((_, path)) = resolve_workspace_redirect(repo, &tree, path) {
-        path
-    } else {
-        path.to_owned()
-    };
     let wsj_file = file("workspace.josh");
     let base = to_filter(Op::Subdir(path.to_owned()));
     let wsj_file = chain(base, wsj_file);