Skip to content

Use environment in docs#99

Merged
goerz merged 1 commit intomasterfrom
docs-env
Jun 13, 2025
Merged

Use environment in docs#99
goerz merged 1 commit intomasterfrom
docs-env

Conversation

@goerz
Copy link
Member

@goerz goerz commented Jun 13, 2025

This is much more aligned with normal best practices, and we should probably stick to those so as not to create too much confusion.

This is much more aligned with normal best practices, and we should
probably stick to those so as not to create too much confusion.
@goerz goerz added the documentation Improvements or additions to documentation label Jun 13, 2025
@goerz goerz merged commit 6d9893d into master Jun 13, 2025
6 checks passed
@goerz goerz deleted the docs-env branch June 13, 2025 18:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant