GitHub folds into Microsoft following CEO resignation, now part of 'CoreAI' team | Hacker News Reader