Skip to content

Conversation

maxtropets
Copy link
Collaborator

Some of #7169 + cleanups.

@maxtropets maxtropets self-assigned this Aug 8, 2025
@maxtropets maxtropets mentioned this pull request Aug 8, 2025
5 tasks
@maxtropets maxtropets marked this pull request as ready for review August 8, 2025 14:21
@maxtropets maxtropets requested a review from a team as a code owner August 8, 2025 14:21
Co-authored-by: Amaury Chamayou <[email protected]>
@achamayou achamayou enabled auto-merge August 12, 2025 13:04
@achamayou achamayou added this pull request to the merge queue Aug 13, 2025
Merged via the queue into microsoft:main with commit ea5aaf8 Aug 13, 2025
16 checks passed
@achamayou achamayou deleted the f/doc-more-cleanup branch August 13, 2025 20:47
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.

2 participants