There are a bunch of interesting issues at https://github.com/nikomatsakis/rust-memory-model/issues... should we make an effort to move the interesting ones to the new repo and then archive the old one? It is rather annoying to have to look in 3+ places when searching where an issue was discussed (rustc issue tracker, UCG issues tracker, memory-model issue tracker, zulip, internals, ...)
Sounds like a good idea
I have seen people move issues in GH, but have not seen the UI for that. is it possible to get the ones we want to keep moved literally or do we have to do some copy-paste-style transition?
should be able to move them -- the UI is in the right hand menu-thingy (Transfer issue) pasted image
I guess since it's in beta may need to opt-in somehow? I don't recall doing anything though
@simulacrum ah, I am seeing it now! probably it's fairly recent and I just wasn't in a repo with admin powers often enough.