Due in part to the recent /work failure on tre we are moving the /migrate filesystem. It is therefore unavailable due to being moved from "to" to another machine (bregne). Do not try to use /migrate on "to" anymore.
The moved migrate will be mounted on tre as /migrate and on fimm as /migrate.
We will update this notice with further progress.
Update Thursday 16:50: The move is not entirely complete, but I have mounted /migrate again on tre and fimm. Expect the move to complete in a couple of hours.