git-mv: succeed even if source is a prefix of destination