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
No description provided.