Use authored date instead of commit date. (#6815)
authorGereon Kremer <nafur42@gmail.com>
Wed, 30 Jun 2021 21:34:31 +0000 (23:34 +0200)
committerGitHub <noreply@github.com>
Wed, 30 Jun 2021 21:34:31 +0000 (21:34 +0000)
commit46c994963ef764101409d55d77e0e15db704827b
tree204d701a24812c5f65a30bcc89a631b0b6611d0a
parenta1297ed93895f7405923d6d9e84432767a8abaae
Use authored date instead of commit date. (#6815)

This commit fixes a subtle issue with pruning the old docs from docs-ci. We remove docs that are older than one week. However, we used the commit date instead of the authored date. Since we actually squash the old commits (that are older than four weeks) regularly, the commit date is always newer.
.github/workflows/docs_cleanup.yml