Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Port additional features to proxito #6286
This moves over almost all of the doc serving logic from Django into Proxito. Most importantly:
It also fixes some of the bugs that we saw during the initial deployment:
This required additional nginx configuration changes, which I will put in another PR in ops. It would be cool to be able to test them against this, but not quite there yet.