Skip to content

Signcommit#84

Merged
ptr727 merged 3 commits intodevelopfrom
signcommit
Feb 12, 2026
Merged

Signcommit#84
ptr727 merged 3 commits intodevelopfrom
signcommit

Conversation

@ptr727
Copy link
Owner

@ptr727 ptr727 commented Feb 12, 2026

No description provided.

ptr727 and others added 2 commits February 12, 2026 04:00
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: ptr727 <2061579+ptr727@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Copilot AI review requested due to automatic review settings February 12, 2026 09:10
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the reusable GitHub Actions workflow that runs code generation and opens an automated pull request, by enabling commit signing for the generated commit.

Changes:

  • Enable sign-commits on the peter-evans/create-pull-request@v8 step.

@ptr727 ptr727 merged commit c7be469 into develop Feb 12, 2026
8 checks passed
@ptr727 ptr727 deleted the signcommit branch February 12, 2026 09:14
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.

1 participant