OK, so next time I know to use "git mv" when renaming.