From e310bc3f2794f9ffe147e55e231b67facbd2aa8a Mon Sep 17 00:00:00 2001 From: jupfi Date: Tue, 7 May 2024 14:34:37 +0200 Subject: [PATCH] Pulling the devtools repo as well well. --- pull_all.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pull_all.sh b/pull_all.sh index f038bde..c2151d1 100755 --- a/pull_all.sh +++ b/pull_all.sh @@ -16,6 +16,10 @@ REPOS=( "nqrduckumentation" ) +# Pull the current repository +echo "Pulling changes in nqrduck-devtools..." +git pull + cd .. # Iterate through the repositories and run git pull on each one