Skip to content

Undeclared projects needs to be normalized and case insensitive so that the current project can be ignored properly#7999

Merged
Forgind merged 2 commits intodotnet:mainfrom
erickulcyk:dev/erickul/targetfixes
Oct 7, 2022
Merged

Undeclared projects needs to be normalized and case insensitive so that the current project can be ignored properly#7999
Forgind merged 2 commits intodotnet:mainfrom
erickulcyk:dev/erickul/targetfixes

Conversation

@erickulcyk
Copy link
Contributor

No description provided.

…at the current project can be ignored properly
Copy link
Contributor

@Forgind Forgind left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not sure about OrdinalIgnoreCase here. People can (and sometimes do) have two projects identical but for casing, and this would break that scenario. Can you provide a compelling example for which we need OrdinalIgnoreCase here?

@Forgind
Copy link
Contributor

Forgind commented Oct 6, 2022

@erickulcyk, did you see rainersigwald's comment?

@Forgind Forgind added the needs-more-info Issues that need more info to continue investigation. label Oct 6, 2022
@dnfadmin
Copy link

dnfadmin commented Oct 6, 2022

CLA assistant check
All CLA requirements met.

@dnfadmin
Copy link

dnfadmin commented Oct 6, 2022

CLA assistant check
Thank you for your submission, we really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.

❌ erickulcyk sign now
You have signed the CLA already but the status is still pending? Let us recheck it.

@Forgind Forgind removed the needs-more-info Issues that need more info to continue investigation. label Oct 6, 2022
@erickulcyk
Copy link
Contributor Author

@Forgind Do I need to be added to authorized users to be able to merge?

@rainersigwald rainersigwald added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Oct 6, 2022
@rainersigwald rainersigwald added this to the VS 17.5 milestone Oct 6, 2022
@Forgind Forgind merged commit cf56617 into dotnet:main Oct 7, 2022
@Forgind
Copy link
Contributor

Forgind commented Oct 7, 2022

Merged! Thanks @erickulcyk!

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

Labels

merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants