redirect https://src-ref.docs.torproject.org/ to gitlab pages
The network-team would like to have the following file included as index.html
for the website at https://src-ref.docs.torproject.org/
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>Tor API Documentation</title>
</head>
<body>
<h2>API Documentation</h2>
<ul>
<li><a href="https://tpo.pages.torproject.net/core/doc/c/">API Documentation for Tor (C).</a></li>
<li><a href="https://tpo.pages.torproject.net/core/doc/rust/arti">API Documentation for Arti (Rust).</a></li>
</ul>
</body>
</html>
I don't know if we can (easily) make it generated from a repository, then that might be even easier. I think in theory this ticket could also be resolved by making src-ref.docs.torproject.org
the hostname used for the Gitlab pages found in tpo/core/doc, but I think that might be harder than just putting in the index.html file from above :-)