GHA: Add update workflow

Author: dalcinl

.github/dependabot.yml

@@ -0,0 +1,6 @@
+version: 2
+updates:
+  - package-ecosystem: github-actions
+    directory: /
+    schedule:
+      interval: weekly

.github/workflows/update.yml

@@ -0,0 +1,62 @@
+name: update
+
+permissions:
+  contents: read
+
+on:  # yamllint disable-line rule:truthy
+  workflow_dispatch:
+    inputs:
+      runid:
+        description: 'GHA docs workflow run ID'
+        required: true
+        type: string
+      push:
+        description: 'Push update'
+        default: false
+        required: true
+        type: boolean
+
+jobs:
+
+  update:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+
+    steps:
+
+    - name: Checkout
+      uses: actions/checkout@v4
+
+    - name: Download documentation artifact
+      run: >-
+        gh run download
+           --repo mpi4py/mpi4py
+           --name mpi4py-docs
+           ${{ inputs.runid }}
+
+    - name: Update documentation contents
+      run: |
+        # unarchive
+        docdir=mpi4py-docs
+        unzip -q $docdir.zip
+        mv $docdir/version .
+        version=$(cat version)
+        test ! -d $version
+        mv $docdir $version
+        rm -f stable
+        ln -sf $version stable
+
+    - name: Commit changes
+      run: |
+        # git add + commit
+        git config user.name  "$(git log -1 --pretty=format:%an)"
+        git config user.email "$(git log -1 --pretty=format:%ae)"
+        version=$(cat version)
+        git add $version stable
+        git commit -m $version
+        git show --stat
+
+    - name: Push changes
+      if:   ${{ inputs.push }}
+      run:  git push

update.sh

@@ -1,22 +1,20 @@
 #!/bin/bash
-set -eu
+set -euo pipefail
 
-version=$1
-workdir="$(pwd)"
-if test -d "$version"; then
-    echo "version $version already exists!"
-    exit 1
-fi
-tempdir="$(mktemp -d)"
-trap 'rm -rf $tempdir' EXIT
+error() { echo "error: $1"; exit 1; }
 
-cd "$tempdir"
-baseurl="https://github.com/mpi4py/mpi4py/releases/download"
-curl -sL "$baseurl/$version/mpi4py-$version.tar.gz" | tar xz
+test -n "${1-}" || error "expecting GHA workflow run ID"
+gh run download --repo mpi4py/mpi4py -n mpi4py-docs "$1"
+docdir="mpi4py-docs"
+rm -rf "$docdir"
+unzip -q "$docdir.zip"
 
-cd "$workdir"
-mv "$tempdir/mpi4py-$version/docs" "$version"
-ln -sf "$version" "stable"
+version=$(cat "$docdir/version")
+test ! -d "$version" || error "$version already exists!"
+rm "$docdir/version"
+mv "$docdir" "$version"
 
+rm -f "stable"
+ln -sf "$version" "stable"
 git add "$version" "stable"
 git commit -m "$version"