Release 0.7.0: changelogs, version bump, and two record-keeping fixes - #644

Merged

bburda merged 7 commits into

mainfrom

Sep 1, 2026

Commits on Aug 28, 2026

docs: changelogs and package metadata for the 0.7.0 release
bburda
committed
f3c70ad
chore: bump to 0.7.0 and fix the conf.py leg of the release script
bburda
committed
d6e2a9c
docs: correct the 0.7.0 entries a review panel found wrong
bburda
committed
15b3c84
docs: scope the fault-trigger entry to what the code registers
bburda
committed
ddb977d
docs: state when the peer credential is actually presented
bburda
committed
c635da2
docs: the installation page said binary packages do not exist yet
bburda
committed
19b6a79
docs: cover the OpenAPI derivation work in the 0.7.0 notes
bburda
committed
ada4d17