TagBot: Manual intervention needed for releases

[github-actions]

TagBot could not automatically create releases for the following versions.

Likely cause(s):

• The GITHUB_TOKEN lacks contents: write permission to push tags

Versions needing manual release

• v0.17.3 at commit 9a9f45ef

How to fix

Run these commands locally:

gh release create v0.17.3 --generate-notes

Or create releases manually via the GitHub UI.

Prevent this in the future

• Add permissions: contents: write to your TagBot workflow, or use a PAT/deploy key

---

This issue was automatically created by TagBot. (Run logs)

[JoshuaLampert]

Probably this messed up because I already archived this repo a bit too quickly. I unarchived again because I realized we need to create the new tag and release. I'll do it manually.

[JoshuaLampert]

Should be done.