Skip to content

Simplify docs direnv re-entry#768

Closed
danielporterda wants to merge 1 commit into
mainfrom
generated-reference-01-docs-env-direnv
Closed

Simplify docs direnv re-entry#768
danielporterda wants to merge 1 commit into
mainfrom
generated-reference-01-docs-env-direnv

Conversation

@danielporterda

Copy link
Copy Markdown
Contributor

Summary

  • Simplifies docs environment re-entry so repo commands assume direnv exec and only run directly after the script re-enters with its marker.

Stack

This is PR 1/8 in the generated-reference automation split.

Base: main
Head: generated-reference-01-docs-env-direnv

Validation

  • python3 -m pytest tests/test_docs_env.py; python3 -m py_compile scripts/docs_env.py; git diff --check

@danielporterda

Copy link
Copy Markdown
Contributor Author

Closing this after splitting the stack: this docs_env cleanup is not required for the generated-reference automation series. The remaining stack now starts at #769 against main.

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.

1 participant