We believe this is necessary for the migration, to have a maintenance notice on the root page, because DNS records that we repoint to the github.io page from e.g. girder.dandiarchive.org will not get redirected to the /maintenance.html page but to the root page.
We believe this is necessary for the migration, to have a maintenance notice on the root page, because DNS records that we repoint to the github.io page from e.g. girder.dandiarchive.org will not get redirected to the /maintenance.html page but to the root page.