so github ci/cd agents rebranded as a startup? same team different company.