mentioned in commit eceb8b67
This is now done. I've moved all the open issues. The old repositories are available in the ("private") archive. If anyone wants to have more issues moved or access to the archive, just ask.
closed
