‘We see more developers building and pushing way more projects’: GitHub COO Kyle Daigle