From 19a0040a6d87078e8e059d0ed8c9ecd75cfacd2a Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Sun, 13 Jul 2025 13:48:00 +0200 Subject: checkpoint --- bin/common/gt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/bin/common/gt b/bin/common/gt index d6b19f9..1eafe2b 100755 --- a/bin/common/gt +++ b/bin/common/gt @@ -98,10 +98,11 @@ while getopts ":a:c:f:dlsheu" opt; do ( cd "$proj" cd "$(git rev-parse --show-toplevel || printf '.\n')" - git pull --ff + git pull --ff > /dev/null git add . - git commit --all -m "checkpoint" + git commit --all -m "checkpoint" > /dev/null git push + printf '%s: done.\n' "$proj" ) done fi -- cgit v1.2.3-70-g09d2