No part of Microsoft better illustrates its predicament in AI than GitHub. The AI boom has boosted usage and revenue of the ...