Skip to content

Conversation

@Forgind
Copy link
Contributor

@Forgind Forgind commented Oct 26, 2022

No description provided.

Copy link
Member

@AR-May AR-May left a comment

Choose a reason for hiding this comment

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

LGTM.
Nit: Could name a PR like you did it in the ChangeWaves.md? It would provide more context, especially when there is no description.

@Forgind Forgind changed the title Error if we never found a real directory Log an error when no provided search path for an import exists Oct 27, 2022
@Forgind Forgind 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 Nov 11, 2022
@JaynieBai JaynieBai merged commit d14b74d into dotnet:main Nov 14, 2022
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.

3 participants