I am abandoning my longtime git repository and moving the project to github.
I have successfully imported the git, and it appears to be correct and complete.
I and others have local clones of the repository and I am seeking advice as to the best practices for migrating the clones.
IIUC, “git remote set-url origin https://github.com/USERNAME/REPOSITORY.git” should do the trick. Will that work correctly, and is there any way to force a “synchronization check” that will verify that the clone has a correct image of the new origin?