Usage of the company's Copilot AI coding tool surged after GitHub changed how it bills customers, the executive said.