Feat(post-update): Set date after pulling

diff --git a/copy-scripts/post-update b/copy-scripts/post-update
index 78fc50d4cebb3fd185eae7008fb025e74cfd92ae..f2b565b37fe4ec5958868bfad148d91ce48a619a 100755 (executable)
--- a/copy-scripts/post-update
+++ b/copy-scripts/post-update
@@ -8,7 +8,8 @@ for ref in "$@"; do
       cd ../git-scripts &&
       git checkout master &&
       git pull origin master &&
-      git push origin master
+      git push origin master &&
+      ./set-commit-date.py
       exit
    fi
 done