code: public GitMvResponse mv(File dest) throws IOException, JavaGitException {
      // source; current location (relative)
      File source = relativePath;
      //get relative path for destination
      File relativeDest = getRelativePath(dest, workingTree.getPath());
  
      // perform git-mv
      GitMv gitMv = new GitMv();
      GitMvResponse response = gitMv.mv(workingTree.getPath(), source, relativeDest);
  
      // file has changed; update
      file = dest;
      relativePath = relativeDest;
  
      return response;
    }
docs: Moves or renames the object
  
  @param dest
  destination path (relative to the Git Repository)
  
  @return response from git mv