Yup, I am aware of that thanks to my obsessive reading of HN :-) But I was just pointing out that it's not easy as switching a git origin in case you want to move to something else other than GitLab.