Fix a subtle issues with squashing the docs-ci history (#7075)
authorGereon Kremer <nafur42@gmail.com>
Thu, 26 Aug 2021 21:03:05 +0000 (14:03 -0700)
committerGitHub <noreply@github.com>
Thu, 26 Aug 2021 21:03:05 +0000 (14:03 -0700)
commit8915e3234871e56eb9fa1c188f89a8d825dc10e8
tree15f047cec14e2e0b2eb23ba2febf7dd62eeb808f
parent21fa888738ea77e4436ef164c184e61683a55fb5
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...
.github/workflows/docs_cleanup.yml