Stream: t-lang/wg-unsafe-code-guidelines

Topic: meeting-2019-06-06


avadacatavra (Jun 06 2019 at 15:16, on Zulip):

:wave:

RalfJ (Jun 06 2019 at 15:20, on Zulip):

hi there!

RalfJ (Jun 06 2019 at 15:21, on Zulip):

I recently did some going-through the old issues at https://github.com/nikomatsakis/rust-memory-model/issues/ and some of them we probably just want to move... but it seems neither @nikomatsakis nor me can do that. does someone know enough GitHub to understand why?

RalfJ (Jun 06 2019 at 15:25, on Zulip):

I guess instead of transferring the "related work" discussions we could also just open a "related work" markdown file in the new repo, close the old issue, and then encourage people to open a new issue if there is anything to discuss.

Alan Jeffrey (Jun 06 2019 at 15:27, on Zulip):

Rather late :wave:

Charles Lew (Jun 07 2019 at 01:53, on Zulip):

@RalfJ I think it's because UCG repo is in rust-lang organization, but rust-memory-model is not... You can first move the repo into the same organization, then i believe you'll be able to move issues between them.

RalfJ (Jun 07 2019 at 08:27, on Zulip):

@nikomatsakis is that something you can do?

Last update: Nov 20 2019 at 13:20UTC