Merge branch 'hotfix/v0.2.5' into develop

.github/workflows/docs.yaml

@@ -22,7 +22,7 @@ jobs:
           git config user.email github-actions@github.com
       - run: echo "RELEASE_VERSION=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV
       - run: echo "DOCS_TAG=$(echo $RELEASE_VERSION | sed -n "s/v\([0-9]\+\.[0-9]\+\).*$/\1/p")" >> $GITHUB_ENV
-      - run: git pull -all
+      - run: git pull --all
       - if: startsWith(github.ref, 'refs/tags')
         run: mike deploy --push --update-aliases $DOCS_TAG latest
       - if: ${{ github.ref == 'refs/heads/develop' }}

docs/change-log.md

@@ -2,6 +2,8 @@
 
 ## next release (0.3.0)
 - Update R and Python virtual environments
+## v0.2.5
+- Fix docs deploy typo
 ## v0.2.4
 - Fix broken links in landing page and docs deploy
 ## v0.2.3