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