Skip to content

Conversation

@thisisnic
Copy link
Member

Rationale for this change

We need instructions for this as I did it wrong earlier and don't love force pushing mistakes to the main repo

What changes are included in this PR?

Explicit instructions on how to do this correctly

Are these changes tested?

Locally, sure

Are there any user-facing changes?

Nah

@github-actions github-actions bot added awaiting changes Awaiting changes and removed awaiting committer review Awaiting committer review labels Nov 6, 2025
@thisisnic thisisnic requested review from jonkeane and raulcd November 11, 2025 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant