diff options
| author | Raymaekers Luca <luca@spacehb.net> | 2025-07-13 13:48:00 +0200 |
|---|---|---|
| committer | Raymaekers Luca <luca@spacehb.net> | 2025-07-13 13:48:00 +0200 |
| commit | 19a0040a6d87078e8e059d0ed8c9ecd75cfacd2a (patch) | |
| tree | bf40d21a6818c319d3ffe11280357cd67f6b175d | |
| parent | ef35dbfafd2d27af357d105221fbc491018a7059 (diff) | |
checkpoint
| -rwxr-xr-x | bin/common/gt | 5 |
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 |
