Skip to content

Conversation

Bashamega
Copy link
Contributor

These are extras that we don't need

Copy link
Contributor

Thanks for the PR!

This section of the codebase is owned by @saschanaz - if they write a comment saying "LGTM" then it will be merged.

@saschanaz
Copy link
Contributor

Those are not IDL files but command maps. Please change the title when merging. Otherwise fine for me.

@jakebailey jakebailey changed the title Remove unneeded IDL files Remove unneeded command maps Sep 30, 2025
Copy link
Member

@jakebailey jakebailey left a comment

Choose a reason for hiding this comment

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

Updated the title. Merge at will 😄

@saschanaz
Copy link
Contributor

LGTM, thanks!

@github-actions github-actions bot merged commit acf138d into microsoft:main Sep 30, 2025
5 checks passed
Copy link
Contributor

Merging because @saschanaz is a code-owner of all the changes - thanks!

@Bashamega Bashamega deleted the remove-idl branch October 1, 2025 02:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants