How GitHub operationalizes AI for teamwide collaboration and productivity