Repositories with git-dir and work-dir should't create .git file in working directory

Reproduction steps

Repository.Init("/working/path", "/git/path");

Expected behavior

For most cases the whole point of doing this separation of working directory and git directory is to avoid the existence of .git file/folder in working directory

Actual behavior

The repo_is_worktree in repository.c of libgit2, should not checking for gitdir in working directory.
In config file, in git directory there is a field worktree = /working/path which could be used to find out which is the working directory.

My suggestion would be, in private Repository constructor to get the worktree value from config file in git-directory and pass it to the Proxy.git_repository_set_workdir in Repository class
instead of reading the value from options that were given from caller.
Future improvement would be not event passing the working directory, because it can be extracted from config file.

Hope to hear soon your opinion on this
Max

Repository.Init と非公開の Repository コンストラクターから始め、次に Proxy.git_repository_set_workdir の周辺にある Repository.cs を調べます。そのパスを、src/repository.c の repo_is_worktree と gitdir の処理と比較し、説明されているとおり Git ディレクトリ設定の worktree 値を使用します。作業パスと Git パスを分けて問題を再現し、初期化によって作業ディレクトリに .git ファイルが作成されなくなったことを確認します。