#!/bin/bash
# WF 2024-08-15
# prepare a release
scripts/doc -d

# Commit with a message that includes the current ISO timestamp
git commit -a -m "release commit"
git push