From bb5a6721e9d067ff74841e6ba636e0ec351e7ec3 Mon Sep 17 00:00:00 2001 From: Ilya Grigoriev Date: Sun, 5 Nov 2023 15:23:06 -0800 Subject: [PATCH] website: Try again to get `mike` to not push empty commits This is not very important, but it's *not supposed* to :). Seems to work for me. --- .github/scripts/docs-build-deploy | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/scripts/docs-build-deploy b/.github/scripts/docs-build-deploy index 0c716e22c1..12a426b35d 100755 --- a/.github/scripts/docs-build-deploy +++ b/.github/scripts/docs-build-deploy @@ -9,6 +9,10 @@ set -ev export "SITE_URL_FOR_MKDOCS=$1"; shift +# Affects the generation of `sitemap.xml.gz` by `mkdocs`. See +# https://github.com/jimporter/mike/issues/103 and +# https://reproducible-builds.org/docs/source-date-epoch/ +export SOURCE_DATE_EPOCH=$(git log -1 --pretty=%ct docs/ mkdocs.yml) # https://github.com/python-poetry/poetry/issues/1917 and # https://github.com/python-poetry/poetry/issues/8623 export PYTHON_KEYRING_BACKEND=keyring.backends.fail.Keyring