Git Rename

Renaming a file:

git mv file_from file_to

This the same as:

mv file_from file_to
git rm file_from
git add file_to

---

References

• Git Use Cases