Former GitHub CEO raises record $60M dev tool seed round at $300M valuation February 10, 2026 by kamal Thomas Dohmke’s new startup offers an AI system to allow developers to better manage all the code AI agents produce.