From b730637bc1b1ca5a3997c30b08a622c54718460c Mon Sep 17 00:00:00 2001
From: jakirkham <jakirkham@gmail.com>
Date: Mon, 5 Feb 2024 11:26:09 -0800
Subject: [PATCH] Fix `popd` indent in `run`

---
 run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run b/run
index c8bec742e..3a8693531 100755
--- a/run
+++ b/run
@@ -614,7 +614,7 @@ install_python_test_deps_() {
         else
             run_command pip3 install --user -e .[test]
         fi
-	popd
+        popd
     fi
     hash -r
 }