Add gates for PRs to extensions: <github.com/OpenH...
# proj-extensions
l
Add gates for PRs to extensions: github.com/OpenHands/extensions/pull/509