Skip to content

[code-infra] Polish VS Code DX #258

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
oliviertassinari wants to merge 3 commits into from
Closed

[code-infra] Polish VS Code DX #258

oliviertassinari wants to merge 3 commits into from

Conversation

@oliviertassinari
Copy link
Member

@oliviertassinari oliviertassinari commented Dec 27, 2024

@oliviertassinari oliviertassinari added scope: code-infra Involves the code-infra product (https://www.notion.so/mui-org/5562c14178aa42af97bc1fa5114000cd). type: enhancement It’s an improvement, but we can’t make up our mind whether it's a bug fix or a new feature. dx labels Dec 27, 2024
oliviertassinari
oliviertassinari commented Jan 3, 2025
View reviewed changes
@oliviertassinari
Update .vscode/settings.json
78368f6 
Signed-off-by: Olivier Tassinari <[email protected]>
@github-actions github-actions bot added the PR: out-of-date The pull request has merge conflicts and can't be merged. label Jun 27, 2025
@github-actions
Copy link

github-actions bot commented Aug 29, 2025

This pull request has been inactive for 30 days. Please remove the stale label or leave a comment to keep it open. Otherwise, it will be closed in 15 days.

@github-actions github-actions bot added the stale Inactive for 7 days (issues) or 30 days (PRs); closed after 5 or 15 more days if no update. label Aug 29, 2025
@github-actions
Copy link

github-actions bot commented Sep 14, 2025

This pull request has been closed due to 15 days of inactivity after being marked stale.

@github-actions github-actions bot closed this Sep 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

PR: out-of-date The pull request has merge conflicts and can't be merged. scope: code-infra Involves the code-infra product (https://www.notion.so/mui-org/5562c14178aa42af97bc1fa5114000cd). stale Inactive for 7 days (issues) or 30 days (PRs); closed after 5 or 15 more days if no update. type: enhancement It’s an improvement, but we can’t make up our mind whether it's a bug fix or a new feature.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@oliviertassinari