Well, Github execs could do the responsible thing and cut costs. But that sounds hard, and like it would require effort, so here we go. It's sad.