Yeah, I'm in the process of migrating all of my GitLab repos to GitHub now. My workflow is GitHub+CircleCI, so GitLab was never a big win for me; I just used i

Yeah, I'm in the process of migrating all of my GitLab repos to GitHub now. My workflow is GitHub+CircleCI, so GitLab was never a big win for me; I just used it for the private repos.