update release process to use PR labels #13

Merged
jessebot merged 0 commits from update-release-process into main 2026-06-16 16:18:43 +00:00
jessebot commented 2026-06-16 16:17:56 +00:00 (Migrated from git.smallhack.org)
No description provided.
Sign in to join this conversation.
No description provided.