Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Jan 16, 2025

This is an automated pull request (PR) to sync changes to ScalarDB docs in the centralized private docs repo to this public docs site repo.

Before merging this PR, confirm the following:

  • I have updated the side navigation to include new docs or remove deleted docs (if necessary).
  • I have confirmed that this PR can be merged without waiting (if necessary).
    • An example of when a PR must wait to be merged is when the docs are part of a pending release of a new product version.

@github-actions github-actions bot added documentation Improvements or additions to documentation scalardb Related to ScalarDB triage From another repo labels Jan 16, 2025
@josh-wong
Copy link
Member

The glossaries will be added to the sidebar in #844.

@josh-wong josh-wong merged commit 2805e42 into main Jan 16, 2025
1 check passed
@josh-wong josh-wong deleted the scalardb/update-docs-3.13-en-us branch January 16, 2025 06:55
josh-wong added a commit that referenced this pull request May 14, 2025
Co-authored-by: josh-wong <joshua.wong@scalar-labs.com>
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 scalardb Related to ScalarDB triage From another repo

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant