Microsoft's coding platform GitHub will start offering coding agents from several major AI companies as part of its paid subscription service. GitHub is launching Agent HQ, which will offer an open ...