Stream: general

Topic: clippy reviews


RalfJ (Aug 10 2019 at 19:24, on Zulip):

Does anyone know whom to ping to get https://github.com/rust-lang/rust-clippy/pull/4368 reviewed? This blocks a PR that would be great to have in time for the beta.

simulacrum (Aug 10 2019 at 20:23, on Zulip):

It's going to be hard to land a clippy upgrade in time I imagine

simulacrum (Aug 10 2019 at 20:24, on Zulip):

Maybe Manish?

RalfJ (Aug 10 2019 at 21:11, on Zulip):

It's going to be hard to land a clippy upgrade in time I imagine

well yeah if tiny clippy PRs take >2 days to land then it will be :/

simulacrum (Aug 10 2019 at 21:12, on Zulip):

I was referring to the in-tree breakage I'd expect (presuming others have landed also)

RalfJ (Aug 10 2019 at 21:14, on Zulip):

yeah the rustc side will be "interesting"

RalfJ (Aug 10 2019 at 21:14, on Zulip):

but I didn't expect the clippy side to be the problem^^

RalfJ (Aug 10 2019 at 22:22, on Zulip):

well I guess the lint will just make its way to beta one release later... I'll survive that, probably ;)

Last update: Nov 22 2019 at 00:25UTC