Pro tip: don’t copy the .git directory of one repository over the .git directory of another. Some weird and wacky things will happen, like the active branch changing from underneith you to the files you modified being in conflict with those same files being deleted.