Skip to content

chore: expand account names in CODEOWNERS file#288

Merged
gbartolini merged 2 commits into
mainfrom
dev/287
Jul 23, 2026
Merged

chore: expand account names in CODEOWNERS file#288
gbartolini merged 2 commits into
mainfrom
dev/287

Conversation

@gbartolini

Copy link
Copy Markdown
Contributor

Add GabriFedi97 as CODEOWNER for the repository.

Also, limit the requirement to review an extension to the owner.

Closes #287

Add GabriFedi97 as CODEOWNER for the repository.

Also, limit the requirement of the review of an extension to the owner.

Closes #287

Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
@gbartolini
gbartolini requested review from a team and NiccoloFei as code owners July 18, 2026 08:25
Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
@gbartolini
gbartolini requested a review from GabriFedi97 as a code owner July 23, 2026 06:21
@gbartolini
gbartolini merged commit cacac01 into main Jul 23, 2026
7 checks passed
@gbartolini
gbartolini deleted the dev/287 branch July 23, 2026 11:04
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.

Expand contributors name in CODEOWNERS file

5 participants