El exdirector ejecutivo de GitHub, Thomas Dohmke, ha recaudado la mayor ronda de financiación inicial de la historia para una startup de herramientas de desarrollo, según su principal inversor, Felicis.…