summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorRaymaekers Luca <luca@spacehb.net>2025-07-13 13:48:00 +0200
committerRaymaekers Luca <luca@spacehb.net>2025-07-13 13:48:00 +0200
commit19a0040a6d87078e8e059d0ed8c9ecd75cfacd2a (patch)
treebf40d21a6818c319d3ffe11280357cd67f6b175d /bin
parentef35dbfafd2d27af357d105221fbc491018a7059 (diff)
checkpoint
Diffstat (limited to 'bin')
-rwxr-xr-xbin/common/gt5
1 files 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