This is the Github Pages-hosted repo behind http://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.