Skip to content

chore: pgt_flags -> pgt_env, central website url, unify version#545

Merged
psteinroe merged 1 commit intomainfrom
chore/website-env
Oct 3, 2025
Merged

chore: pgt_flags -> pgt_env, central website url, unify version#545
psteinroe merged 1 commit intomainfrom
chore/website-env

Conversation

@psteinroe
Copy link
Collaborator

in preparation for the renaming

Copy link
Collaborator

@juleswritescode juleswritescode left a comment

Choose a reason for hiding this comment

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

nice!

@psteinroe psteinroe merged commit 85baf89 into main Oct 3, 2025
8 checks passed
@juleswritescode juleswritescode deleted the chore/website-env branch October 28, 2025 15:26
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.

2 participants