Git UI does not update when I saved file. Maybe related with the Git used in WDG

[be5invis]

I've found that VSCode's Git UI does not update automatically when I saved file. Manually clicking "refresh" button would cause an update. Version 1.9.3. I work for WDG and the Git is the "special" version with GVFS. git --version shows

git version 2.15.1.gvfs.2.5.g07811dc

The installation method of this "special" git is described in OSGWiki, "Install Git" page.

Reproduction

1. Install the special git following the instructions in OSGWiki.
2. Open any folder with Git repo.
3. Update any of the files. Save.
4. The Git UI should update immediately after you save the file, however it does not in this case.

[zyfedward]

repro

[be5invis]

git config -l is:

core.symlinks=false
core.autocrlf=true
core.fscache=true
color.diff=auto
color.status=auto
color.branch=auto
color.interactive=true
help.format=html
rebase.autosquash=true
http.sslcainfo=C:/Program Files/Git/mingw64/ssl/certs/ca-bundle.crt
http.sslbackend=openssl
diff.astextplain.textconv=astextplain
credential.helper=manager
gvfs.clone.default-pre-command=C:\Program Files\GitTelemetry\pre-command.hooks
gvfs.clone.default-post-command=C:\Program Files\GitTelemetry\post-command.hooks
core.autocrlf=false
core.safecrlf=false
core.fscache=true
core.editor=notepad2.exe
push.default=simple
rebase.autosquash=true
credential.osg-perf.vsallin.net.authority=azure
difftool.vscode.cmd=code --wait --diff "$LOCAL" "$REMOTE"
difftool.windiff.cmd=windiff.exe "$LOCAL" "$REMOTE"
diff.tool=windiff
user.name=####HIDDEN.####
user.email=####HIDDEN.####
core.autocrlf=false
core.repositoryformatversion=0
core.filemode=false
core.bare=false
core.logallrefupdates=true
core.symlinks=false
core.ignorecase=false
remote.origin.url=####INTERNAL REPOSITORY. HIDDEN.####
remote.origin.fetch=+refs/heads/*:refs/remotes/origin/*
branch.master.remote=origin
branch.master.merge=refs/heads/master

[be5invis]

Seems silently fixed in recent ver. Closed.