如何在JGit中重命名文件.也就是说,给定一个名为file1的工作文件.
命令行将是:
git mv file1 file2
rename file-rename jgit
file-rename ×1
jgit ×1
rename ×1