summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRaymaekers Luca <luca@spacehb.net>2025-07-13 13:48:15 +0200
committerRaymaekers Luca <luca@spacehb.net>2025-07-13 13:48:15 +0200
commitfd1726f2535dcb027a2cd18714d512449df40ff7 (patch)
tree8012bb4dba1a4d5fafcc60a2bc6fd12e2352532e
parent19a0040a6d87078e8e059d0ed8c9ecd75cfacd2a (diff)
checkpoint
-rwxr-xr-xbin/common/gt2
1 files changed, 1 insertions, 1 deletions
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