Fix a subtle issues with squashing the docs-ci history (#7075)

The docs-cleanup job squashes all commits from the docs-ci repository that are older than one month. The current solution to retrieve the newest commit older than this one month erroneously relied on the commit date. As the script cherry-picks all newer commits, it should rather use the author date, though. Unfortunately, rev-list does not support filtering by author date, hence we use awk now...

diff --git a/.github/workflows/docs_cleanup.yml b/.github/workflows/docs_cleanup.yml
index 1bb48ff081753acfc7353d433e7db29d44156152..36fd3488b17f8cb0223cd70654eb0c8e4d3d4d2a 100644 (file)
--- a/.github/workflows/docs_cleanup.yml
+++ b/.github/workflows/docs_cleanup.yml
@@ -45,7 +45,8 @@ jobs:
         run: |
           cd target
           first=`git rev-list --max-parents=0 HEAD`
-          last=`git rev-list --until=1.month.ago -n1 HEAD`
+          cutoff=`date -d "-1 month" +%Y-%m-%d`
+          last=`git log --pretty='%as %H' | awk -v cutoff=$cutoff '$1 < cutoff { print $2 }' | head -n1`
           if [ -n "$last" ]; then
             git checkout $last
             ts=`git log -1 --format=%ct`