How did managers get introduced at GitHub, and did it really change everything?github.com/holman48 pointscraigkerstiens10 years ago