New lint [bare_dos_device_names]
#11062
Conversation
|
r? @dswij (rustbot has picked a reviewer for you, use r? to override) |
rustbot
added
the
S-waiting-on-review
Centri3
force-pushed
the
bare_dos_device_names
branch
from
123ffdf
to
f0e740f
Compare
|
☔ The latest upstream changes (presumably #10788) made this pull request unmergeable. Please resolve the merge conflicts. |
Centri3
force-pushed
the
bare_dos_device_names
branch
4 times, most recently
from
9045dcb
to
ecabf1e
Compare
|
☔ The latest upstream changes (presumably #11140) made this pull request unmergeable. Please resolve the merge conflicts. |
Centri3
force-pushed
the
bare_dos_device_names
branch
2 times, most recently
from
9ea640d
to
d7a580e
Compare
|
☔ The latest upstream changes (presumably #11107) made this pull request unmergeable. Please resolve the merge conflicts. |
Centri3
force-pushed
the
bare_dos_device_names
branch
from
d7a580e
to
9e8e96b
Compare
|
☔ The latest upstream changes (presumably #11003) made this pull request unmergeable. Please resolve the merge conflicts. |
|
Hey this is triage, I'm closing this due to inactivity. Currently, @Centri3 sadly doesn't have the time to continue this implementation. If anyone is interested in continuing this PR, you're more than welcome to create a new PR and push it over the finish line. :D Thank you to @Centri3 and the reviewers for the time, that you already put into this! @rustbot label +S-inactive-closed -S-waiting-on-author -S-waiting-on-review |
rustbot
added
S-inactive-closed
|
Triaging my old PRs in case someone wants to pick them up, I don't really think the implementation needs any more work, but there is a TODO left as a question - Should we lint these specific device names? Regardless I think I'll get around to this too at some point if nobody else does |
Closes #8511
I've made this a draft as it's not quite ready yet. But whoever's randomly picked, feel free to review ^^ Everything I've left out so far and/or haven't finished is really because I didn't get enough sleep :D I've left some TODOs about the place and will likely make it a tad more general soon enough.
changelog: New lint [
bare_dos_device_names]