With Thomas Dohmke resigning as GitHub CEO, the Pragmatic Engineer episode I finally got around to listening to last week seems nullified :c