GitHub laying off 10% of its staff, going fully remote

More.