this is an old change that was not commited on hummus since Jun 25 2021

diff --git a/bin/daily_git_commit_mail.sh b/bin/daily_git_commit_mail.sh
index e721f84f400596934e89cb167d435f84173e1e49..90f9fdd72dc4ff646605d22dc6ed9a6b0c83daed 100755 (executable)
--- 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'
 
 #