Skip to content

chore(ci): add devtools as code owners - #78

Merged
bpapillon merged 1 commit into
mainfrom
add-devtools-codeowners
Nov 3, 2026
Merged

bpapillon merged 1 commit into
mainfrom
add-devtools-codeowners

Conversation

@bpapillon

Copy link
Copy Markdown
Contributor

The other SDK repos request a devtools review automatically through CODEOWNERS. This repo had none, so the rules engine WASM bump PRs the release workflow opens here arrived with no reviewer.

@bpapillon bpapillon self-assigned this Nov 3, 2026
@bpapillon
bpapillon marked this pull request as ready for review November 3, 2026 23:40
@bpapillon
bpapillon requested a review from a team November 3, 2026 23:40
@bpapillon
bpapillon merged commit 2ba45d9 into main Nov 3, 2026
5 checks passed
@bpapillon
bpapillon deleted the add-devtools-codeowners branch November 3, 2026 23: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