So much spin. Bottom line is that it’s embarrassing for GitHub to have lost the ai coding race (or to be losing badly).