Details
-
Task
-
Resolution: Won't Do
-
Minor - P4
-
None
-
None
-
None
-
None
-
Server Development Platform
Description
Microsoft PDB files, and development tools support "Source Server". This allows a user to embed the Git location of each file into the PDB with the exact path to each file used to build the product. This allows a user to debug a crash dump and/or binary and examine the corresponding source file without the need for a local copy of the source. There is no need to sync a local repository. This mechanism does not add code to the PDB, but pointers to the repository locations for each file.
Background:
https://msdn.microsoft.com/en-us/library/windows/hardware/ff558791(v=vs.85).aspx
https://github.com/GitTools/GitLink