Skip to content
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

dev container schemas: use unevaluatedProperties #167

Merged
merged 1 commit into from
Jan 12, 2023
Merged

dev container schemas: use unevaluatedProperties #167

merged 1 commit into from
Jan 12, 2023

Conversation

aeschli
Copy link
Contributor

@aeschli aeschli commented Dec 22, 2022

No description provided.

@aeschli aeschli requested a review from a team as a code owner December 22, 2022 16:23
@aeschli aeschli self-assigned this Dec 22, 2022
@aeschli aeschli requested a review from chrmarti December 22, 2022 16:23
@aeschli
Copy link
Contributor Author

aeschli commented Dec 22, 2022 •
edited
Loading

See also microsoft/vscode#169857

@aeschli aeschli mentioned this pull request Dec 22, 2022
Merged
chrmarti
chrmarti approved these changes Dec 28, 2022
View reviewed changes
Copy link
Contributor

@chrmarti chrmarti left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great, thanks!

@chrmarti chrmarti merged commit e6f80c4 into devcontainers:main Jan 12, 2023
@chrmarti chrmarti mentioned this pull request Jan 12, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@chrmarti chrmarti chrmarti approved these changes

Assignees

@aeschli aeschli

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@aeschli @chrmarti