Skip to content

Conversation

@allcontributors
Copy link
Contributor

Adds @MBoegers as a contributor for code.

This was requested by davidh44 in this comment

[skip ci]

@allcontributors allcontributors bot requested a review from a team as a code owner September 23, 2025 20:43
@davidh44 davidh44 added changelog-not-required Indicate changelog entry is not required for a specific PR no-api-surface-area-change Indicate there is no API surface area change and thus API surface area review is not required labels Sep 23, 2025
@davidh44 davidh44 enabled auto-merge September 23, 2025 20:46
@sonarqubecloud
Copy link

@davidh44 davidh44 added this pull request to the merge queue Sep 24, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Sep 24, 2025
@davidh44 davidh44 added this pull request to the merge queue Sep 24, 2025
Merged via the queue into master with commit 51641de Sep 24, 2025
38 of 40 checks passed
@github-actions
Copy link

This pull request has been closed and the conversation has been locked. Comments on closed PRs are hard for our team to see. If you need more assistance, please open a new issue that references this one.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Sep 24, 2025
@davidh44 davidh44 deleted the all-contributors/add-MBoegers branch September 24, 2025 04:20
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

changelog-not-required Indicate changelog entry is not required for a specific PR no-api-surface-area-change Indicate there is no API surface area change and thus API surface area review is not required

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant