Skip to content

Merge to Live - #37387

Merged
wadepickett merged 2 commits into
livefrom
main
Jul 28, 2026
Merged

Merge to Live#37387
wadepickett merged 2 commits into
livefrom
main

Conversation

@github-actions

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

Copy link
Copy Markdown
Contributor

[AUTOMATED]

@guardrex
guardrex marked this pull request as draft July 28, 2026 14:47
@guardrex
guardrex marked this pull request as ready for review July 28, 2026 19:29
@wadepickett

wadepickett commented Jul 28, 2026

Copy link
Copy Markdown
Contributor

@guardrex, I don't think I fully undertand the intent for this one. It is back out of draft, but no files changed. Should this "merge to live" be closed rather than merged?

@guardrex

Copy link
Copy Markdown
Collaborator

Because we probably don't want the history of this branch to mismatch main, we can merge this anytime, including after adding other PRs to it.

I really should've run Copilot on that PR this morning. Anyway, that PR did lead to an investigation, and I can see that we need a couple of touches here and there for those env vars. I plan to have a PR up tomorrow to take a look at.

As for this, it can be merged now or after some more PRs are added to it.

@wadepickett wadepickett self-assigned this Jul 28, 2026
@wadepickett
wadepickett self-requested a review July 28, 2026 22:59

@wadepickett wadepickett left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Approved.

@wadepickett
wadepickett merged commit 400be0d into live Jul 28, 2026
5 checks passed
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.

3 participants