Stream: rustdoc

Topic: Splitting #80300


view this post on Zulip Léo Lanteri Thauvin (Dec 30 2020 at 15:20):

For splitting #80300, should I close the PR and open a new one with just the "conflicting attributes" error? Should I just force-push? What's better/easier wrt the FCP process?

view this post on Zulip Joshua Nelson (Dec 30 2020 at 15:44):

@Léo Lanteri Thauvin I would wait for the FCP to finish before changing anything

view this post on Zulip Joshua Nelson (Dec 30 2020 at 15:44):

And then it's just implementation details and we don't have to worry about pinging people again

view this post on Zulip Léo Lanteri Thauvin (Dec 30 2020 at 15:45):

The FCP will stay blocked on your concern anyway, right?

view this post on Zulip Joshua Nelson (Dec 30 2020 at 15:45):

Oh hmm good point

view this post on Zulip Joshua Nelson (Dec 30 2020 at 15:45):

I could resolve that maybe?


Last updated: Oct 11 2021 at 22:34 UTC