Skip to content

WIP: dotnet-sourcelink tool#678

Merged
tmat merged 5 commits into
dotnet:mainfrom
tmat:CliTool
Oct 27, 2022
Merged

WIP: dotnet-sourcelink tool#678
tmat merged 5 commits into
dotnet:mainfrom
tmat:CliTool

Conversation

@tmat
Copy link
Copy Markdown
Member

@tmat tmat commented Dec 2, 2020

No description provided.

Base automatically changed from master to main March 17, 2021 22:33
@tmat tmat changed the title WIP WIP: dotnet-sourcelink tool May 28, 2021
@NikolaMilosavljevic
Copy link
Copy Markdown
Member

@tmat would it be possible to have an option to not check for target of the source-link, and only check for presence of the link in PDB file? For source-build offline scenario we would only need to check the presence of the link, but for online build, it is very valuable to check for link and the target of the link.

@tmat tmat marked this pull request as ready for review October 14, 2022 20:36
@tmat
Copy link
Copy Markdown
Member Author

tmat commented Oct 14, 2022

@NikolaMilosavljevic Sure feel free to send PR once this is merged.

@NikolaMilosavljevic
Copy link
Copy Markdown
Member

@NikolaMilosavljevic Sure feel free to send PR once this is merged.

@tmat when do we expect this PR to be merged?

@tmat tmat merged commit ad54d77 into dotnet:main Oct 27, 2022
@tmat tmat deleted the CliTool branch October 27, 2022 22:00
@tmat
Copy link
Copy Markdown
Member Author

tmat commented Oct 27, 2022

@NikolaMilosavljevic Done. SOrry for the delay.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants