It is 4 years and $7.5B too late to worry about github.