That GitLab tackled it very professionally. You could consider a mirror in case it happens again. A great feature would be the ability to self host a replication server.
I considered switching to GitHub, but decided not too. I'm convinced they improve their backup strategies.