Skip to content

docs: use project-wide CONTRIBUTING.md file#820

Merged
gbartolini merged 1 commit intomainfrom
dev/contributing
Mar 2, 2026
Merged

docs: use project-wide CONTRIBUTING.md file#820
gbartolini merged 1 commit intomainfrom
dev/contributing

Conversation

@gbartolini
Copy link
Contributor

No description provided.

@dosubot dosubot bot added the size:S This PR changes 10-29 lines, ignoring generated files. label Mar 2, 2026
Signed-off-by: Gabriele Bartolini <gabriele.bartolini@enterprisedb.com>
@gbartolini gbartolini merged commit 458c0f7 into main Mar 2, 2026
23 checks passed
@gbartolini gbartolini deleted the dev/contributing branch March 2, 2026 04:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:S This PR changes 10-29 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant