Differences
This shows you the differences between two versions of the page.
| git_mv [2019/03/15 07:38] – created rpjday | git_mv [2019/03/15 07:39] (current) – rpjday | ||
|---|---|---|---|
| Line 4: | Line 4: | ||
| * [[https:// | * [[https:// | ||
| + | |||
| + | ===== Operation ===== | ||
| + | |||
| + | "Git has a rename command git mv, but that is just for convenience. The effect is indistinguishable from removing the file and adding another with different name and the same content." | ||