diff options
| author | Raymaekers Luca <luca@spacehb.net> | 2025-07-13 13:48:15 +0200 |
|---|---|---|
| committer | Raymaekers Luca <luca@spacehb.net> | 2025-07-13 13:48:15 +0200 |
| commit | fd1726f2535dcb027a2cd18714d512449df40ff7 (patch) | |
| tree | 8012bb4dba1a4d5fafcc60a2bc6fd12e2352532e /bin/common | |
| parent | 19a0040a6d87078e8e059d0ed8c9ecd75cfacd2a (diff) | |
checkpoint
Diffstat (limited to 'bin/common')
| -rwxr-xr-x | bin/common/gt | 2 |
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 |
