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

Configure registry to update search indexes independently #9919

Closed
sean1588 opened this issue Sep 25, 2023 · 1 comment
Closed

Configure registry to update search indexes independently #9919

sean1588 opened this issue Sep 25, 2023 · 1 comment
Assignees
Labels
area/docs Improvements or additions to documentation kind/engineering Work that is not visible to an external user resolution/fixed This issue was fixed

Comments

@sean1588
Copy link
Member

sean1588 commented Sep 25, 2023

part of: #9829
The docs repo produces a search index with all the pages in the site including registry. In order for us to stop building registry here, we need registry to update its objects independently of docs.

@sean1588 sean1588 added needs-triage Needs attention from the triage team area/docs Improvements or additions to documentation and removed needs-triage Needs attention from the triage team labels Sep 25, 2023
@sean1588 sean1588 self-assigned this Sep 25, 2023
@github-project-automation github-project-automation bot moved this to 🤔 Triage in Docs 📚 Sep 25, 2023
@github-actions github-actions bot added the needs-triage Needs attention from the triage team label Sep 25, 2023
@sean1588 sean1588 removed this from Docs 📚 Sep 25, 2023
@sean1588 sean1588 removed the needs-triage Needs attention from the triage team label Sep 25, 2023
@github-project-automation github-project-automation bot moved this to 🤔 Triage in Docs 📚 Sep 25, 2023
@sean1588 sean1588 moved this from 🤔 Triage to 🔧 In Progress in Docs 📚 Sep 25, 2023
@sean1588
Copy link
Member Author

pulumi/registry#3215
#9928

@sean1588 sean1588 added kind/engineering Work that is not visible to an external user resolution/fixed This issue was fixed labels Oct 16, 2023
@sean1588 sean1588 moved this from 🔧 In Progress to 💜 Review in Docs 📚 Oct 16, 2023
@sean1588 sean1588 moved this from 💜 Review to 🏁 Done in Docs 📚 Oct 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/docs Improvements or additions to documentation kind/engineering Work that is not visible to an external user resolution/fixed This issue was fixed
Projects
Archived in project
Development

No branches or pull requests

1 participant