From fd1726f2535dcb027a2cd18714d512449df40ff7 Mon Sep 17 00:00:00 2001 From: Raymaekers Luca Date: Sun, 13 Jul 2025 13:48:15 +0200 Subject: checkpoint --- bin/common/gt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/common') diff --git a/bin/common/gt b/bin/common/gt index 1eafe2b..c652fa2 100755 --- a/bin/common/gt +++ b/bin/common/gt @@ -101,7 +101,7 @@ while getopts ":a:c:f:dlsheu" opt; do git pull --ff > /dev/null git add . git commit --all -m "checkpoint" > /dev/null - git push + git push > /dev/null printf '%s: done.\n' "$proj" ) done -- cgit v1.2.3-70-g09d2