search

mui / mui-public

The public mono-repository of MUI (as an organization), see mui/mui-private for the opposite.
80 stars 16 forks source link

[tool] Ignore draft PRs in GitHub issues/PRs with no labels #110

Closed oliviertassinari closed 1 year ago

oliviertassinari commented 1 year ago

Fix https://www.notion.so/KPIs-1ce9658b85ce4628a2a2ed2ae74ff69c?pvs=4#0231c2f8e6924c6d856b9dcda6af99c1

render[bot] commented 1 year ago

Your Render PR Server URL is https://tools-public-pr-110.onrender.com.

Follow its progress at https://dashboard.render.com/web/srv-ci4vsmh8g3nel4pci170.