Pull_all: Add temporary hack to remove unused repos (#211)

bit-bots · Nov 14, 2023 · 71ac4d3 · 71ac4d3
2 parents 105a9ee + ee6d3dc
commit 71ac4d3
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/pull_all.sh b/scripts/pull_all.sh
@@ -1,5 +1,9 @@
 #!/bin/bash
 set -e
 
+# This is a temporary hack, so it is not necessary that every user removes these dirs themselfs
+rm -rf basler_drivers
+rm -rf humanoid_league_msgs
+
 git submodule foreach git pull
 git -C humanoid_league_misc submodule update