From b6f893f05890051b85d92e77aaca9d3ea8919216 Mon Sep 17 00:00:00 2001 From: Jan Gutsche Date: Tue, 14 Nov 2023 20:19:23 +0100 Subject: [PATCH] pull_all: Also remove bitbots_tools/bitbots_jenkins_library --- scripts/pull_all.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/pull_all.sh b/scripts/pull_all.sh index 5079d306c..951cad16f 100755 --- a/scripts/pull_all.sh +++ b/scripts/pull_all.sh @@ -4,6 +4,7 @@ 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 +rm -rf bitbots_tools/bitbots_jenkins_library git submodule foreach git pull git -C humanoid_league_misc submodule update