chore(docs): removed rfcs from search on docs website

winglang / wing

A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡

https://winglang.io

Other

5.06k stars 198 forks source link

chore(docs): removed rfcs from search on docs website #7214

Closed boyney123 closed 2 weeks ago

boyney123 commented 2 weeks ago

Attempt to fix #7198, which should remove the RFCs from the search index on the docs site. Need to log into algolia to verify, will give some time for the site to reindex too.

github-actions[bot] commented 2 weeks ago

Thanks for opening this pull request! :tada: Please consult the contributing guidelines for details on how to contribute to this project. If you need any assistance, don't hesitate to ping use over Discord.

mergify[bot] commented 2 weeks ago

Thanks for contributing, @boyney123! This PR will now be added to the merge queue, or immediately merged if removing-rfcs-from-search is up-to-date with main and the queue is empty.

monadabot commented 2 weeks ago

Congrats! :rocket: This was released in Wing 0.85.30.