Skip to content

Rebrand to production (DO NOT MERGE UNTIL REDIRECTS IN PLACE) - #5244

Merged
gtempus merged 5 commits into
masterfrom
develop
Jul 30, 2026
Merged

Rebrand to production (DO NOT MERGE UNTIL REDIRECTS IN PLACE)#5244
gtempus merged 5 commits into
masterfrom
develop

Conversation

@dmannarino

Copy link
Copy Markdown
Member

Overview

Brief description of what this PR does, and why it is needed.

Demo

If applicable: screenshots, gifs, etc.

Notes

If applicable: ancilary topics, caveats, alternative strategies that didn't work out, etc.

Testing

  • Include any steps to verify the features this PR introduces.
  • If this fixes a bug, include bug reproduction steps.

@dmannarino
dmannarino requested a review from guilherme-n July 30, 2026 18:22
@dmannarino dmannarino changed the title Rebrand to production Rebrand to production (DO NOT MERGE UNTIL REDIRECTS IN PLACE) Jul 30, 2026
@gtempus
gtempus merged commit 7aff0d6 into master Jul 30, 2026
10 of 12 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