open-source collaboration trends

GitHub CEO Thomas Dohmke will step down by year-end, planning to return to entrepreneurship, with no direct replacement; leadership will…