Rename a File
How to Rename a File Using the Git Command Line.
Overview
Use the “mv” command to rename an existing file:
git mv "old_file_name" "new_file_name"
References
Stack Overflow, In a Git repository, how to properly rename a directory?
QED
© Adam Heinz
10 February 2024