Skip to content

Squashmerge#82

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

Squashmerge#82
ptr727 merged 3 commits intodevelopfrom
squashmerge

Conversation

@ptr727
Copy link
Owner

@ptr727 ptr727 commented Feb 12, 2026

No description provided.

ptr727 and others added 2 commits February 1, 2026 10:37
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 08:46
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

Updates the repository’s merge-bot workflow to use squash merging when auto-merging trusted PRs (Dependabot and the scheduled codegen branch), aligning automated merges with a squash-commit history strategy.

Changes:

  • Switches Dependabot PR auto-merge from --merge to --squash.
  • Switches codegen PR auto-merge from --merge to --squash.

@ptr727 ptr727 merged commit 696a74d into develop Feb 12, 2026
8 checks passed
@ptr727 ptr727 deleted the squashmerge branch February 12, 2026 09:49
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