GitHub -> GitLab migration hype is over (x-post from /r/gitlab)