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

[code-infra] Migrate CircleCI from GitHub OAuth to GitHub App #153

Open oliviertassinari opened 8 months ago

oliviertassinari commented 8 months ago

Summary

https://circleci.com/docs/github-apps-integration/ CircleCI’s GitHub App integration provides fine-grained permissions. It's strange for a member on the Base UI team to be able to change profoundly the config of MUI X. As we grow, moving in this direction would make more sense. Well, unless we decide to to consolidate on another CI, but I don't see clear problems with CircleCI today, it seems good enough: https://www.notion.so/mui-org/code-infra-Migrate-out-of-CircleCI-42350363b7344380a9961cf9731aae31.

See the guide for the migration https://circleci.com/docs/github-apps-integration/#Moving-from-github-oauth-app-to-github-app.

However, the list of not yet supported features feels like a deal-breaker: https://circleci.com/docs/github-apps-integration/#currently-not-supported

Examples

No response

Motivation

No response

Search keywords: -