Skip to content

chore: expand account names in CODEOWNERS file#476

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

chore: expand account names in CODEOWNERS file#476
gbartolini merged 1 commit into
mainfrom
dev/475

Conversation

@gbartolini

Copy link
Copy Markdown
Contributor

Remove @jbattiato (no actual commits, a leftover of the CODEOWNERS copy/paste from other projects).

Closes #475

@gbartolini
gbartolini requested review from a team, NiccoloFei, jbattiato and litaocdl as code owners July 19, 2026 00:21
@dosubot dosubot Bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label Jul 19, 2026
@dosubot dosubot Bot added the lgtm This PR has been approved by a maintainer label Jul 19, 2026
Remove @jbattiato (no actual commits)

Closes #475

Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
@gbartolini
gbartolini merged commit aa2e370 into main Jul 20, 2026
3 of 6 checks passed
@gbartolini
gbartolini deleted the dev/475 branch July 20, 2026 22:27
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

3 participants