tree b94008c8d6692ad070f9c7793152cbf0d8c767e4
parent 4406642e20d2b984631e6099664058013095ce49
author Kaiyi Li <kaiyili@google.com> 1711529602 -0700
committer LUCI <gerrit-scoped@luci-project-accounts.iam.gserviceaccount.com> 1711548047 +0000

Fix drive mounted directory on Windows

On my Windows machine, I mount drive D: to the directory C:\src.

The old implementation returns the incorrect 'C:\\??\\Volume{ad2eb15e-f293-4d48-a448-54757d95a97c}' result, which breaks the repo init command.

With the use of os.path.realpath, it can return 'D:\\' correctly.

Change-Id: Ia5f53989055125cb282d4123cf55d060718aa1ff
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/416580
Reviewed-by: Greg Edelston <gredelston@google.com>
Tested-by: Kaiyi Li <kaiyili@google.com>
Commit-Queue: Kaiyi Li <kaiyili@google.com>