GitHub laying off 10% and going fully remote. -SourceGitLab laying off 7%. -SourceCrazy to hear these announcements on the same day from these two..