Skip to content

Conversation

@shai-almog
Copy link
Collaborator

Summary

  • update the preface to describe the Git-based documentation workflow and publication targets
  • replace the developer guide home page content with a focused landing page and curated resources

Testing

  • not run (documentation changes only)

https://chatgpt.com/codex/tasks/task_e_68f6d12c924c833197fb858d9ebdad49

@github-actions
Copy link

Developer Guide build artifacts are available for download from this workflow run:

@shai-almog shai-almog merged commit 06f59d5 into master Oct 21, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants