'Context switching' is a major drain on developer productivity - here's how GitHub plans to solve that
Briefly