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 https://gitlab.com/gitlab-org/gitlab-ee/issues/7211. 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!