git-annex/doc/git-annex-move/comment_7_e23e2a133db02112ca99aeda0499e841._comment

9 lines
260 B
Text
Raw Normal View History

2021-01-04 16:05:32 +00:00
[[!comment format=mdwn
username="joey"
subject="""comment 7"""
date="2021-01-04T16:04:45Z"
content="""
Use `git mv` if you want to rename an annexed file. That does not change
the key, the old key will work fine despite the extension having changed.
"""]]