Stream: project-ffi-unwind

Topic: how to organize the repo


view this post on Zulip nikomatsakis (Oct 22 2019 at 21:33):

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

view this post on Zulip nikomatsakis (Oct 22 2019 at 21:33):

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

view this post on Zulip nikomatsakis (Oct 22 2019 at 21:33):

where we e.g. update the top comment

view this post on Zulip nikomatsakis (Oct 22 2019 at 21:34):

and leave comments with updates

view this post on Zulip nikomatsakis (Oct 22 2019 at 21:34):

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

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 22 2019 at 21:34):

GitHub issues on the WG repo?

view this post on Zulip nikomatsakis (Oct 22 2019 at 21:34):

right

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 22 2019 at 21:34):

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

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 22 2019 at 21:36):

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

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 22 2019 at 21:36):

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


Last updated: Jan 26 2022 at 08:21 UTC