add release recipe to justfile

Author: amorison

docs/devs/maintainers.md

@@ -10,11 +10,10 @@ Please make sure to always provide a patch version number (i.e. use a version
 number with *three* levels such as `1.0.0` instead of `1.0`).
 
 ```sh title="shell"
-# edit version number in pyproject.toml
-git add pyproject.toml
-git commit -m "release vX.Y.Z"
-git tag -a vX.Y.Z
-git push --follow-tags
+just release X.Y.Z
 ```
 
-Releasing on PyPI is then performed automatically by a GitHub action workflow.
+This will update the version number to `X.Y.Z` and create an annotated tag for
+you. Once you've written the release notes, check the created commit. If
+satisfactory, `git push --follow-tags` will trigger publication on PyPI via a
+GitHub Action.

justfile

@@ -25,3 +25,13 @@ test:
 # invoke mkdocs with appropriate dependencies
 mkdocs *FLAGS:
     uv run --with-requirements=docs/requirements.txt -- mkdocs {{FLAGS}}
+
+release version:
+    @if [ -n "$(git status --porcelain || echo "dirty")" ]; then echo "repo is dirty!"; exit 1; fi
+    sed -i 's/^version = ".*"$/version = "{{ version }}"/g' pyproject.toml
+    git add pyproject.toml
+    sed -i 's/"stagpy~=.*"/"stagpy~={{ version }}"/g' docs/user-guide/install.md
+    git add docs/user-guide/install.md
+    git commit -m "release {{ version }}"
+    git tag -m "Release {{ version }}" -a -e "v{{ version }}"
+    @echo "check last commit and ammend as necessary, then git push --follow-tags"