git mv: do not keep slash in `git mv dir non-existing-dir/`