​GitHub rivals gain from Microsoft acquisition but it's no mass exodus, yet

GitHub competitors have picked up thousands of new developers but in relative terms the numbers are small.