set_workdir

Description:

public void set_workdir (File workdir, bool update_gitlink)

Sets the working directory of the repository.

If update_gitlink is set to true "core.worktree" will be set in the config if workdir is not the parent of the .git directory).

Parameters:

this

a Repository.
workdir

the working directory.
update_gitlink

create/update gitlink in workdir.