How to tell Git that it’s the same directory, just a different name

Just git add the directory at its new name. Git doesn’t explicitly track renames, it just detects them later. git mv might be marginally more efficient to perform (because it can update the index directly), but the effect is exactly the same.