Smithery is now a part of Arcade.dev! Read more in our announcement here
Finalize GitHub PRs: update the branch/PR, monitor CI until green, squash-merge, and clean up local/remote state. Use for requests like finish/land/close a PR, monitor checks, squash and cleanup.
