0.7.1 — 2026-09-28

A patch release: nothing it adds breaks what 0.7.0 accepted.

Added

• whip issue label <id> <label>... and whip issue unlabel <id> <label>.... Labels could only be set when an issue was filed, so a label
  that marked an open question stayed after the question was answered. Labels
  are a set: a change that alters nothing records nothing. Each change is an
  event, so it survives whip issue rebuild, travels through export and
  import, and resolves the same way on every copy at a merge.

Verifying this release

Built on GaugeWright's own fleet. Every file's SHA-256 is in
whipplescript-0.7.1.intoto.json, signed with the key in
docs/release-provenance.pub:

minisign -V -p release-provenance.pub -m whipplescript-0.7.1.intoto.json