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?
I can't quite seem to do it either
Not sure why not
@nikomatsakis someone suggested it might help to move the repo into the same organization. Do you think that would be possible?
I suppose so, why not
yay, now moving works :D
now we just have to decide what we want to move
do we want "related work discussion"-style issues?
It might be simpler to just move everything for now
Maybe with a Rust-Memory-Model-Issue tag
And then slowly over time do triage on them
uh seems like a mess
I'd rather slowly over time triage them where they are
because otherwise I am fairly certain it just won't happen^^
it's just we don't have any "related work" discussion or even label in the new repo
is that because we dont want it or because it hasnt happened yet?
so if nobody objects I am going to create a new label for that and move these three issues over
we wanted to add rationale to the book, I think tracking related work should be part of that
I got the issues in the old repo down to 1 page on github. enough for now. ;)
most of the remaining ones I feel uncomfortable moving alone, we should have a brief discussion about this at some point