Whoever made the decision to sell Github to Microsoft killed it, we’re just attending the funeral now.