git pull throws exception as "e = {"could not rmdir 'xxx': The process cannot access the file because it is being used by another process."}

You are opening a bug report against the LibGit2Sharp project: we
use GitHub Issues for tracking bug reports and feature requests. If
you have a question about an API or usage, please ask on StackOverflow:
http://stackoverflow.com/questions/tagged/libgit2sharp.

Otherwise, to report a bug, please fill out the reproduction steps
(below) and delete these introductory paragraphs. Thanks!

Reproduction steps

My code is from wiki page:

https://github.com/libgit2/libgit2sharp/wiki/git-pull

Expected behavior

Actual behavior

Version of LibGit2Sharp (release number or SHA1)

Operating system(s) tested; .NET runtime tested

从报告中链接的 git-pull wiki 示例开始，在记录 LibGit2Sharp 版本、操作系统和 .NET 运行时的同时重现该故障。围绕报告的目录删除异常跟踪 pull 操作；完成条件是确认重现该问题，并记录解决方案，同时覆盖受影响的情况。