Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Notify superdb-website repo instead of zed-doc-site when docs change #5491

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

philrz
Copy link
Contributor

@philrz philrz commented Nov 20, 2024

This is related to other PRs:

When we're ready to make SuperDB docs available as part of https://superdb.org/ (i.e., soon), we can merge this PR so that when contents of docs/ change and we want to publish an updated docs site, CI will now notify the superdb-website repo instead of the zed-docs-site repo.

Since the triggering is done via Actions' repository dispatch events, we could merge this change even before there's any Workflow in the superdb-website repo listening for it and reacting to it, i.e., for now the event generated by CI would just go out into the ether, unclaimed. We wouldn't want to be in that state for long since it would mean tip-of-main SuperDB docs updates aren't being published anywhere. But it allows for some wiggle room in the timing of when we merge related PRs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants