La plate-forme GitHub, dédiée à l'hébergement, au stockage et à l'édition collaborative de code informatique, lève 250 millions de dollars…