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

[oliviertassinari]

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

• Cancel redundant builds
• Scheduled pipelines
• Stop building
• Passing secrets to forked pull requests
• Manual trigger pipeline option

Examples

No response

Motivation

No response

Search keywords: -