This is the Github Pages-hosted repo behind https://docs.edx.org.
The search.html
page is powered by Google Programmable Search Engine and can be configured here:
The current list of sites that should be configured there is in search-sites.txt
.
There is no extra release process and as soon as you merge to master, the changes will be reflected straight away on production.