Skip to content

Deploy main → production#192

Merged
zunkelty merged 1 commit into
productionfrom
deploy/main-to-production
Jul 8, 2026
Merged

Deploy main → production#192
zunkelty merged 1 commit into
productionfrom
deploy/main-to-production

Conversation

@github-actions

@github-actions github-actions Bot commented Jul 8, 2026

Copy link
Copy Markdown

Auto-opened by .github/workflows/open-deploy-pr.yml. Merging this releases the current state of main to production.

For the commit-by-commit history of what's being deployed, compare production...main.

@github-actions
github-actions Bot force-pushed the deploy/main-to-production branch from d2c454f to 8d06a5f Compare July 8, 2026 17:15
@github-actions
github-actions Bot force-pushed the deploy/main-to-production branch from 8d06a5f to 271c16c Compare July 8, 2026 17:20
@zunkelty
zunkelty merged commit 81e7ceb into production Jul 8, 2026
3 checks passed
@zunkelty
zunkelty deleted the deploy/main-to-production branch July 8, 2026 17:28
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