Skip to content

chore: expand account names in CODEOWNERS#1016

Merged
gbartolini merged 1 commit into
mainfrom
dev/1015
Jul 20, 2026
Merged

chore: expand account names in CODEOWNERS#1016
gbartolini merged 1 commit into
mainfrom
dev/1015

Conversation

@gbartolini

Copy link
Copy Markdown
Contributor

Add @NiccoloFei as contributor

Closes #1015

@gbartolini
gbartolini requested a review from a team as a code owner July 18, 2026 03:53
@dosubot dosubot Bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label Jul 18, 2026
@dosubot dosubot Bot added the lgtm This PR has been approved by a maintainer label Jul 19, 2026
Closes #1015

Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
@gbartolini
gbartolini merged commit 806f47b into main Jul 20, 2026
7 checks passed
@gbartolini
gbartolini deleted the dev/1015 branch July 20, 2026 22:21
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.

Expand contributors name in CODEOWNERS file

4 participants