GitHub: My robots are 2.5x as productive as I am.