Checking that repo migration worked