Stream: project-ffi-unwind

Topic: closing the existing RFCs


view this post on Zulip nikomatsakis (Oct 15 2019 at 19:38):

It seems folks are still talking on rfc#2753. I plan to close the RFCs and I drafted a quick comment explaining the plan.

view this post on Zulip nikomatsakis (Oct 15 2019 at 19:39):

before posting though I will probably remove the existing rfc text and maybe merge PR #8

view this post on Zulip nikomatsakis (Oct 15 2019 at 19:42):

hmm there's a lot in that PR :)

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 17 2019 at 20:07):

You still have an unfinished sentence at the end of that...do you have any objection to me closing the PR, with a less-detailed comment?

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 17 2019 at 20:07):

If not, I think it would be perfectly reasonable to post what you have minus the incomplete sentence

view this post on Zulip nikomatsakis (Oct 17 2019 at 22:06):

closed rfc#2753

view this post on Zulip nikomatsakis (Oct 17 2019 at 22:08):

closed rfc#2699

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 17 2019 at 22:08):

:heart:

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 17 2019 at 22:08):

Excellent! Was about to close 2699 until I saw you had done so :D

view this post on Zulip nikomatsakis (Oct 17 2019 at 22:09):

I see a ton of comments in the meeting time thread and elsewhere :) heh, will try to catch up later

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 17 2019 at 22:11):

Hm, let's try something - wait until I've written up a summary or two, and see if you still feel the need to review the original Zulip conversations to "catch up", or if that's sufficient

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 17 2019 at 22:11):

That is, after all, part of our goal with the new approach, I think!

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 17 2019 at 22:11):

I guess I consider it the responsibility of at least one shepherd (currently me, since Adam is busy) to stay on top of all discussion

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 17 2019 at 22:11):

and I want the summaries to be good enough that no one else "needs" to read _everything_

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 17 2019 at 22:12):

You've been more or less filling that role, which is awesome (thank you!), but I realize you are quite busy!

view this post on Zulip nikomatsakis (Oct 21 2019 at 20:31):

Hm, let's try something - wait until I've written up a summary or two, and see if you still feel the need to review the original Zulip conversations to "catch up", or if that's sufficient

good idea :)


Last updated: Jan 26 2022 at 07:47 UTC