Microslop played the long game when they bought github