GitHub was in an odd position; HR had politically captured every department. A buyout by someone so big was pretty much the only way to do it.