Skip to content
This repository was archived by the owner on Jan 7, 2025. It is now read-only.

add feedback notes #43

Merged
merged 2 commits into from
May 21, 2021
Merged

add feedback notes #43

merged 2 commits into from
May 21, 2021

Conversation

pq
Copy link
Contributor

@pq pq commented May 21, 2021

As per our conversation earlier today.

/cc @srawlins @devoncarew @mit-mit

Copy link
Contributor

@devoncarew devoncarew left a comment

Choose a reason for hiding this comment

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

lgtm!

You could also change the title of the markdown section to help disambiguate things; something like:

## dart-lang/lints or dart-lang/linter ?

@pq
Copy link
Contributor Author

pq commented May 21, 2021

My hesitation w/ "dart-lang/lints or dart-lang/linter" is that I wonder if folks will even know that there's a linter repo and see this and say huh? I don't feel super strongly though.

I'll land this and we can iterate. I'd be curious to get @mit-mit's input too.

Thanks!

@pq pq merged commit c833213 into main May 21, 2021
@pq pq deleted the pq-feedback branch May 21, 2021 21:37
mosuem pushed a commit to dart-lang/core that referenced this pull request Oct 18, 2024
* add feedback notes

* typo
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants