Antti, I went looking for a tool that can migrate issues from the rumprun-foo repositories to the unified rumprun repo and found this:
https://github-issue-mover.appspot.com/ Related Github bug: https://github.com/holman/feedback/issues/413 Would you like me to try and use this to migrate issues to the new repo? I may need some extra permissions, will need to try it and see. -mato
