From: Gereon Kremer <nafur42@gmail.com>
Date: Thu, 26 Aug 2021 21:03:05 +0000 (-0700)
Subject: Fix a subtle issues with squashing the docs-ci history (#7075)
X-Git-Tag: cvc5-1.0.0~1330
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8915e3234871e56eb9fa1c188f89a8d825dc10e8;p=cvc5.git

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 1bb48ff08..36fd3488b 100644
--- 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`