dotty.epfl.ch/docs has been accidentally reverted to 0.23

[smarter]

Currently, the version number at the top of http://dotty.epfl.ch/docs/ is "0.23.0". I guess what happened is that the website was overwritten when 0.23.0 was published.

[anatoliykmetyuk]

I've republished the website

[smarter]

We should keep this issue open until we've fixed the release publishing to not do this.

[smarter]

Reopening because the issue isn't fixed, when a release is published, the website is reverted to the state it was in the branch corresponding to that release, this fixes itself when the next nightly is published but that can take a while (especially if nightly builds are broken), and meanwhile people are confused: https://gitter.im/lampepfl/dotty?at=5f19033c9360cb1f46634284 https://gitter.im/lampepfl/dotty?at=5f193486273e723b7ffc325d
Ideally, the documentation for a particular release should go in a subdirectory, e.g. https://dotty.epfl.ch/docs/0.25.0/, but we could also live with just never publishing documentation for anything which is not on master.