update release process to use PR labels and clean up docs a little bit #1

Merged
jessebot merged 0 commits from refs/pull/1/head into main 2026-06-16 19:50:36 +00:00
jessebot commented 2026-06-16 19:48:22 +00:00 (Migrated from git.smallhack.org)
No description provided.
Sign in to join this conversation.
No description provided.