Migration of local working copies of repositories