Skip to content

release: promote develop to main#21

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

release: promote develop to main#21
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 PR template updates to main.

Authors no longer sign commits cryptographically — GitHub signs on
merge; what authors must do is DCO sign-off. Also adds a labels
checklist item, since unlabeled PRs are a process bug.

Signed-off-by: Jaro-c <75870284+Jaro-c@users.noreply.github.com>
@Jaro-c Jaro-c enabled auto-merge June 5, 2026 18:23
@Jaro-c Jaro-c merged commit b85b07c 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