Бывший босс GitHub создал Git для роботов: теперь ИИ-агенты могут работать в команде