From 89484da8d5ae66dd83221b6fae95e82aa97424b9 Mon Sep 17 00:00:00 2001 From: Felix Van der Jeugt Date: Fri, 4 Dec 2020 14:49:45 +0100 Subject: [PATCH] subgit should be more silent and forcing --- local/bin/subgit-fetch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/local/bin/subgit-fetch b/local/bin/subgit-fetch index 33cb266..2de89c1 100755 --- a/local/bin/subgit-fetch +++ b/local/bin/subgit-fetch @@ -20,7 +20,7 @@ fi # update existing submodules git submodule foreach git fetch origin -git submodule foreach git reset --hard origin/master +git submodule foreach git reset --hard origin/master > /dev/null 2>&1 for remote in $(ssh git@subgit.ugent.be task students -l "$task" | cut -f4); do if [ -d "$(basename "$remote")" ]; then @@ -29,7 +29,7 @@ for remote in $(ssh git@subgit.ugent.be task students -l "$task" | cut -f4); do echo "No branches at $remote" else echo "adding $remote" - git submodule --quiet add "$remote" + git submodule --quiet add --force "$remote" || true fi done