search

readthedocs / blog

Read the Docs blog
https://blog.readthedocs.com
18 stars 47 forks source link

Blog for search update #73

Closed dojutsu-user closed 5 years ago

dojutsu-user commented 5 years ago

I think this is mostly copied from the last year gsoc blog. :confused:

dojutsu-user commented 5 years ago

@ericholscher I have updated the PR.

dojutsu-user commented 5 years ago

@ericholscher I have updated the blog.

dojutsu-user commented 5 years ago

@ericholscher Updated the PR Is there a need to change the title?

ericholscher commented 5 years ago

Looks good. I'll plan to merge this on Monday, if you want to update the date, it'll be good to go.

dojutsu-user commented 5 years ago

@ericholscher Updated the date and few small spelling corrections.

dojutsu-user commented 5 years ago

Updated PR builder link: https://external-builds.readthedocs.io/html/readthedocs-blog/73/improved-search-and-search-as-you-type/index.html

ericholscher commented 5 years ago

👍