Skip to content

chore: update CODEOWNERS#448

Merged
gbartolini merged 1 commit into
mainfrom
dev/update-code-owners
May 26, 2026
Merged

chore: update CODEOWNERS#448
gbartolini merged 1 commit into
mainfrom
dev/update-code-owners

Conversation

@gbartolini
Copy link
Copy Markdown
Contributor

No description provided.

Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
@dosubot dosubot Bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label May 25, 2026
@dosubot dosubot Bot added the lgtm This PR has been approved by a maintainer label May 25, 2026
@gbartolini gbartolini merged commit 747a5db into main May 26, 2026
64 checks passed
@gbartolini gbartolini deleted the dev/update-code-owners branch May 26, 2026 05:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

lgtm This PR has been approved by a maintainer size:XS This PR changes 0-9 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants