GitHub laying off 10% of its staff, going fully remote https://fortune.com/2023/02/09/github-is-laying-off-10-of-staff-and-cutting-down-office-space/