Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

SA1021: Negative sign should be preceded by a space #94827

Closed
Tracked by #78414
artl93 opened this issue Nov 16, 2023 · 2 comments
Closed
Tracked by #78414

SA1021: Negative sign should be preceded by a space #94827

artl93 opened this issue Nov 16, 2023 · 2 comments
Assignees

Comments

@artl93
Copy link
Contributor

artl93 commented Nov 16, 2023

No description provided.

@dotnet-issue-labeler dotnet-issue-labeler bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Nov 16, 2023
@ghost ghost added the untriaged New issue has not been triaged by the area owner label Nov 16, 2023
@artl93 artl93 self-assigned this Nov 16, 2023
artl93 added a commit to artl93/runtime that referenced this issue Nov 16, 2023
Negative sign should be preceded by a space
Fixes dotnet#94827
@ghost
Copy link

ghost commented Nov 16, 2023

Tagging subscribers to this area: @dotnet/area-meta
See info in area-owners.md if you want to be subscribed.

Issue Details

null

Author: artl93
Assignees: artl93
Labels:

area-Meta, untriaged, needs-area-label

Milestone: -

@artl93 artl93 removed the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Nov 16, 2023
@ghost ghost added in-pr There is an active PR which will close this issue when it is merged and removed in-pr There is an active PR which will close this issue when it is merged labels Nov 16, 2023
@artl93
Copy link
Contributor Author

artl93 commented Nov 16, 2023

The PR only found two violations, and one of the fixes would be unnatural. Letting this go.

@artl93 artl93 closed this as not planned Won't fix, can't repro, duplicate, stale Nov 16, 2023
@ghost ghost removed the untriaged New issue has not been triaged by the area owner label Nov 16, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Dec 16, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant