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

Add 106, don't fancy import trio #11

Closed
wants to merge 0 commits into from
Closed

Conversation

jakkdl
Copy link
Member

@jakkdl jakkdl commented Jul 28, 2022

Uh, I'll just let you add this one to the changelog&readme, and increment version, with there being three simultaneous open pull requests.

tests/trio106.py Outdated Show resolved Hide resolved
flake8_trio.py Outdated Show resolved Hide resolved
@jakkdl
Copy link
Member Author

jakkdl commented Jul 28, 2022

While on it I resolved the above

@Zac-HD Zac-HD mentioned this pull request Jul 28, 2022
12 tasks
@Zac-HD Zac-HD closed this Jul 29, 2022
@Zac-HD
Copy link
Member

Zac-HD commented Jul 29, 2022

OK, apparently pushing commits marks the PR as closed rather than merged 😕

It's merged to me though!

@jakkdl
Copy link
Member Author

jakkdl commented Jul 29, 2022

Yeah that's some funky UI. It's marked as Closed, but it also says Pull request successfully merged and closed. But no matter

It looks like TRIO106 is missing from the readme though

@jakkdl
Copy link
Member Author

jakkdl commented Jul 29, 2022

It could be worth adding a test that checks that each error message is mentioned in all four of the readme, changelog, plugin file and test file.

@Zac-HD
Copy link
Member

Zac-HD commented Jul 29, 2022

Sounds good, go for it!

@jakkdl
Copy link
Member Author

jakkdl commented Jul 29, 2022

Opened an issue 👍

@jakkdl jakkdl deleted the trio106 branch December 9, 2022 11:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants