@kudos Not at all, I mention this because I keep getting asked when I'm moving away from Github. GitLab can get acquired too. My next project has nothing to do with git.