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?
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.
Rather late :wave:
@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.
@nikomatsakis is that something you can do?