GitHub CEO: manual coding remains key despite AI boomtechinasia.com360 pointsandrewstetsenkoa year ago