Default branch gone?

I just noticed that the default branch setting on my repo was gone - it had spontaneously gone back to master.

Something to do with the platform switch?

Yes, apologies, this is likely due to this issue Default branches were not replicated properly, which was only discovered at the switchover.

Thanks for getting back. No other problems experienced - all in all a virtually problem-free move for me!