Stream: wg-ffi-unwind

Topic: how to organize the repo


nikomatsakis (Oct 22 2019 at 21:33, on Zulip):

Ok @Kyle Strand -- you were saying about the README? Maybe let's continue here :)

nikomatsakis (Oct 22 2019 at 21:33, on Zulip):

One thing I was thinking is that there might also be room for frozen issues

nikomatsakis (Oct 22 2019 at 21:33, on Zulip):

where we e.g. update the top comment

nikomatsakis (Oct 22 2019 at 21:34, on Zulip):

and leave comments with updates

nikomatsakis (Oct 22 2019 at 21:34, on Zulip):

(but mostly i'm curious what you had in mind)

Kyle Strand (Oct 22 2019 at 21:34, on Zulip):

GitHub issues on the WG repo?

nikomatsakis (Oct 22 2019 at 21:34, on Zulip):

right

Kyle Strand (Oct 22 2019 at 21:34, on Zulip):

Clever use of tags & milestones could certainly be helpful for people trying to catch up to the current state of the project

Kyle Strand (Oct 22 2019 at 21:36, on Zulip):

I was sort of assuming I would just sit down and write up a prose summary target at anyone entering the discussion in media res

Kyle Strand (Oct 22 2019 at 21:36, on Zulip):

but since I haven't actually done that yet, I don't actually have a very concrete plan past that.

Last update: Nov 15 2019 at 10:50UTC