From c5c26d26ef94b421fd50e2689bae89a06dc67ef7 Mon Sep 17 00:00:00 2001 From: Nigel Metheringham Date: Sat, 24 Sep 2022 16:47:57 +0000 Subject: [PATCH 1/1] this is an old change that was not commited on hummus since Jun 25 2021 --- bin/daily_git_commit_mail.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/daily_git_commit_mail.sh b/bin/daily_git_commit_mail.sh index e721f84..90f9fdd 100755 --- a/bin/daily_git_commit_mail.sh +++ b/bin/daily_git_commit_mail.sh @@ -9,7 +9,7 @@ export GIT_DIR=/home/git/exim.git export GIT_KEY=/home/nm4/.ssh/git_repo_sync export GIT_SSH=/home/nm4/bin/gitssh.sh git fetch --quiet github -git push --all github 2>&1 | fgrep -v 'Everything up-to-date' +git push --all --force github 2>&1 | fgrep -v 'Everything up-to-date' git push --tags github 2>&1 | fgrep -v 'Everything up-to-date' # -- 2.30.2