diff options
| author | emkael <emkael@tlen.pl> | 2022-11-20 18:03:08 +0100 |
|---|---|---|
| committer | emkael <emkael@tlen.pl> | 2022-11-20 18:03:08 +0100 |
| commit | 12a702edcf979f86b2a1506badee7ca048cd388a (patch) | |
| tree | 6bf84986fa92e95640880e920646bdbadff4bf0f /Makefile | |
| parent | 8bbac0728a0280e476e1f835bbbece8bb7db85fc (diff) | |
Include explicit (and silenced) git-gc to autocommit job
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ pull: @chown www-data:www-data http -R autocommit: pull - @cd http && git diff --quiet || (date && git add . && git commit -m 'Autocommit' && GIT_SSH_COMMAND="ssh ${LIGA_SSH_OPTS}" git push -q) + @cd http && git diff --quiet || (date && git gc --quiet && git add . && git commit -m 'Autocommit' && GIT_SSH_COMMAND="ssh ${LIGA_SSH_OPTS}" git push -q) players: FORCE ./dumps/import-players.sh |