Archestra App — June 3, 2026PR by joeyorlando, [codex] Remove label-based gateway tool assignment github.com/archestra-ai/archestra/pull/52462 replies
Max Bachaud — June 3, 2026Hey @user, confirming this being merged indicates no need for me to submit a PR with issue 5141 closed? Thanks! 🙏