I make a habit out of pushing to both gitlab and github. Even if github is technically superior, I don't think we're served well in the long run by monocultures.

(But yes, gitlab's web interfaces are generally frustrating. Slow, bugged, or just organized in ways I find challenging.)