Stream: wg-ffi-unwind

Topic: closing the existing RFCs


nikomatsakis (Oct 15 2019 at 19:38, on Zulip):

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

nikomatsakis (Oct 15 2019 at 19:39, on Zulip):

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

nikomatsakis (Oct 15 2019 at 19:42, on Zulip):

hmm there's a lot in that PR :)

Kyle Strand (Oct 17 2019 at 20:07, on Zulip):

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?

Kyle Strand (Oct 17 2019 at 20:07, on Zulip):

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

nikomatsakis (Oct 17 2019 at 22:06, on Zulip):

closed rfc#2753

nikomatsakis (Oct 17 2019 at 22:08, on Zulip):

closed rfc#2699

Kyle Strand (Oct 17 2019 at 22:08, on Zulip):

:heart:

Kyle Strand (Oct 17 2019 at 22:08, on Zulip):

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

nikomatsakis (Oct 17 2019 at 22:09, on Zulip):

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

Kyle Strand (Oct 17 2019 at 22:11, on Zulip):

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

Kyle Strand (Oct 17 2019 at 22:11, on Zulip):

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

Kyle Strand (Oct 17 2019 at 22:11, on Zulip):

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

Kyle Strand (Oct 17 2019 at 22:11, on Zulip):

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

Kyle Strand (Oct 17 2019 at 22:12, on Zulip):

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

nikomatsakis (Oct 21 2019 at 20:31, on Zulip):

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 update: Nov 15 2019 at 09:45UTC