Former GitHub CEO Thomas Dohmke launches rival platform built for humans and AI coding agents Moneycontrol.com