We should switch codesearch.wmflabs.org over to the new wmcloud.org domain system. The old URL should redirect to the new one forever.
The proxy UI now supports creation of proxies under .wmcloud.org. Since a change like this most likely requires a vhost change, I would think that @Legoktm or someone else involved in the project would want to create the new proxy.
We don't support redirection currently so you might want to just keep vhosts for both .wmcloud.org and .wmflabs.org
Currently this kind of redirect would need to be done by the proxied service. One 'simple' way to do that would be to stand up a vhost on the backend side using nginx that issues the redirect (which should probably be a 307/308 rather than a 302/301).
Backend is setup. I will do the needful to setup the proxies correctly. That part of the transfer (delete in current project, recreate in redirect project) is annoying to coordinate.
$ curl -I -H 'Host: codesearch.wmflabs.org' localhost HTTP/1.1 301 Moved Permanently Server: nginx/1.14.2 Date: Mon, 13 Jul 2020 22:11:47 GMT Content-Type: text/html Content-Length: 185 Connection: keep-alive Location: https://codesearch.wmcloud.org/
$ curl -I https://codesearch.wmflabs.org HTTP/2 301 server: nginx/1.13.6 date: Mon, 13 Jul 2020 22:23:56 GMT content-type: text/html content-length: 185 location: https://codesearch.wmcloud.org/ x-clacks-overhead: GNU Terry Pratchett