The effects of the AI-driven coding boom are showing up in areas where one wouldn’t immediately expect. GitHub, the world’s dominant code ...