That'd be me, but I stuck around because issue management on GitLab is miles ahead of GitHub - however... if GitHub added scoped labeled I'd have a hard time convincing myself to stick around as the sheer number of users + discovery features blow GitLab out of the water.