Skip to content

🧹 chore: fixup for cutting release with bot app#40

Merged
jpmcb merged 1 commit intomainfrom
release-action
Mar 6, 2026
Merged

🧹 chore: fixup for cutting release with bot app#40
jpmcb merged 1 commit intomainfrom
release-action

Conversation

@jpmcb
Copy link
Contributor

@jpmcb jpmcb commented Mar 6, 2026

Fixes using GitHub app for auth to cut release. Adds PR check for checking PR title conformance


Continue Tasks: ✅ 2 no changes — View all

Adds PR check for checking PR title conformance

Signed-off-by: John McBride <john@papercompute.com>
@jpmcb jpmcb merged commit 9755d8f into main Mar 6, 2026
11 checks passed
@jpmcb jpmcb deleted the release-action branch March 6, 2026 22:03
@continue
Copy link

continue bot commented Mar 6, 2026

No docs update needed. This PR modifies CI/CD workflows (release automation and PR title checking) which are internal infrastructure changes that don't affect any user-facing behavior, configuration options, or CLI commands.

PR #40 was merged: 🧹 chore: fixup for cutting release with bot app
PR URL: #40
Merged by: jpmcb

@continue
Copy link

continue bot commented Mar 6, 2026

No docs update needed. This PR updates internal CI workflows (release automation and PR title checks) but doesn't change any configuration options, CLI commands, or user-facing behavior.

PR #40 was merged: 🧹 chore: fixup for cutting release with bot app
PR URL: #40
Merged by: jpmcb

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