Skip to content

release: promote develop to main#15

Merged
Jaro-c merged 1 commit into
mainfrom
develop
Jun 5, 2026
Merged

release: promote develop to main#15
Jaro-c merged 1 commit into
mainfrom
develop

Conversation

@Jaro-c

@Jaro-c Jaro-c commented Jun 5, 2026

Copy link
Copy Markdown
Member

Ships the contributing guide update to main.

…14)

Updates three stale statements: PR creation is now natively restricted
to collaborators; squash applies to topic→develop with merge commits for
releases; commit signing happens automatically via the merge flow (DCO
sign-off still required from authors).

Signed-off-by: Jaro-c <75870284+Jaro-c@users.noreply.github.com>
@Jaro-c Jaro-c enabled auto-merge June 5, 2026 18:08
@Jaro-c Jaro-c merged commit 7a2f6fb into main Jun 5, 2026
1 check passed
@Jaro-c Jaro-c added effort:XS Less than an hour type:chore Maintenance task, no production code change labels Jun 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

effort:XS Less than an hour type:chore Maintenance task, no production code change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant