summaryrefslogtreecommitdiff
path: root/bin/common
diff options
context:
space:
mode:
authorRaymaekers Luca <luca@spacehb.net>2025-07-13 13:51:11 +0200
committerRaymaekers Luca <luca@spacehb.net>2025-07-13 13:51:11 +0200
commitb70e1c0f6d54cf0cf8d7de638499df8d6812710e (patch)
treefca925e0a57c57b05b16f0cbd6cfe4a0e8acbf02 /bin/common
parentce33e72756c9ea10eed8d37af69c208a3da4679e (diff)
checkpoint
Diffstat (limited to 'bin/common')
-rwxr-xr-xbin/common/gt4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/common/gt b/bin/common/gt
index 0887742..c466be1 100755
--- a/bin/common/gt
+++ b/bin/common/gt
@@ -96,7 +96,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 > /dev/null
+ git push 2> /dev/null
printf '\''{}: done.\n'\''
'
else
@@ -108,7 +108,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 > /dev/null
+ git push 2> /dev/null
printf '%s: done.\n' "$proj"
)
done