Funnily enough a friend of mine and I migrated some of our projects over to GitLab right before this original story broke. It’s really unfortunate though that this will probably go through since GitHub was/is really the staple site for social programming and project management, something that GitLab is certainly lacking.