Skip to content

[release/5.0] Add DO-NOT-SIGN comment for files that should not be signed#41218

Merged
NikolaMilosavljevic merged 1 commit intorelease/5.0from
backport/pr-41185-to-release/5.0
Aug 23, 2020
Merged

[release/5.0] Add DO-NOT-SIGN comment for files that should not be signed#41218
NikolaMilosavljevic merged 1 commit intorelease/5.0from
backport/pr-41185-to-release/5.0

Conversation

@github-actions
Copy link
Contributor

Backport of #41185 to release/5.0

/cc @NikolaMilosavljevic

Customer Impact

Testing

Risk

@Dotnet-GitSync-Bot
Copy link
Collaborator

I couldn't figure out the best area label to add to this PR. If you have write-permissions please help me learn by adding exactly one area label.

@NikolaMilosavljevic NikolaMilosavljevic merged commit 3784acb into release/5.0 Aug 23, 2020
@jkotas jkotas deleted the backport/pr-41185-to-release/5.0 branch August 24, 2020 15:06
@ghost ghost locked as resolved and limited conversation to collaborators Dec 7, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants