GitHub COO’s advice to devs in the age of AI