2018-10-28

Website migration

In an earlier post we mentioned our wish to transition away from github after it being acquired by Microsoft.

Now, we announce that we will be migrating our website away from google sites. The reason is that google has rolled out a replacement for the classic sites, and are heavily promoting migration which indicates that the classic sites may be phased out. Here is an official post from google which is vague to the point of laughable: (post on deprecation of google sites classic)

To save our future selves from tedious meta work like this, we hope this will be the very last time our website needs to be migrated. The way we intend to make sure it is indeed the last time, is outlined in the migration plan posted here.