With Github's service record, that means there should be no observable difference between them doing the migration and them operating as usual.