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

Topic: Moving issues from old repo?


RalfJ (Jun 03 2019 at 09:00, on Zulip):

These issues (and probably more) from the old repo seem to me like they should be moved over to the new one: https://github.com/nikomatsakis/rust-memory-model/issues?q=is%3Aissue+is%3Aopen+label%3AK-Related-Work
When I click "Transfer issue", however, there is no repository I can select that I could transfer the issue to. Does this need someone with more powers?

gnzlbg (Jun 04 2019 at 14:07, on Zulip):

cc @nikomatsakis

nikomatsakis (Jun 04 2019 at 15:44, on Zulip):

I can't quite seem to do it either

nikomatsakis (Jun 04 2019 at 15:44, on Zulip):

Not sure why not

RalfJ (Jun 18 2019 at 14:13, on Zulip):

@nikomatsakis someone suggested it might help to move the repo into the same organization. Do you think that would be possible?

nikomatsakis (Jun 18 2019 at 14:18, on Zulip):

I suppose so, why not

nikomatsakis (Jun 18 2019 at 14:20, on Zulip):

@RalfJ https://github.com/rust-lang/rust-memory-model/

RalfJ (Jun 18 2019 at 14:20, on Zulip):

yay, now moving works :D

RalfJ (Jun 18 2019 at 14:20, on Zulip):

now we just have to decide what we want to move

RalfJ (Jun 18 2019 at 14:21, on Zulip):

do we want "related work discussion"-style issues?

gnzlbg (Jun 18 2019 at 14:24, on Zulip):

It might be simpler to just move everything for now

gnzlbg (Jun 18 2019 at 14:24, on Zulip):

Maybe with a Rust-Memory-Model-Issue tag

gnzlbg (Jun 18 2019 at 14:24, on Zulip):

And then slowly over time do triage on them

RalfJ (Jun 18 2019 at 14:25, on Zulip):

uh seems like a mess

RalfJ (Jun 18 2019 at 14:25, on Zulip):

I'd rather slowly over time triage them where they are

RalfJ (Jun 18 2019 at 14:25, on Zulip):

because otherwise I am fairly certain it just won't happen^^

RalfJ (Jun 18 2019 at 14:26, on Zulip):

it's just we don't have any "related work" discussion or even label in the new repo

RalfJ (Jun 18 2019 at 14:26, on Zulip):

is that because we dont want it or because it hasnt happened yet?

RalfJ (Jun 18 2019 at 14:28, on Zulip):

so if nobody objects I am going to create a new label for that and move these three issues over

gnzlbg (Jun 18 2019 at 14:37, on Zulip):

we wanted to add rationale to the book, I think tracking related work should be part of that

RalfJ (Jun 18 2019 at 15:29, on Zulip):

:+1:

RalfJ (Jun 18 2019 at 18:00, on Zulip):

I got the issues in the old repo down to 1 page on github. enough for now. ;)

RalfJ (Jun 18 2019 at 18:01, on Zulip):

most of the remaining ones I feel uncomfortable moving alone, we should have a brief discussion about this at some point

Last update: Nov 19 2019 at 17:35UTC