Step 3 is done: http://repo.rumpkernel.org/rumprun
I added a before-rumprun-merge tag to rumprun-{baremetal,posix}. I removed push access to those repos (except Justin's, since his is implicit for all repos). I'll give it a few days before I delete all files from them, and move the repos to rumpkernel-attic.
Can people have a look to see if things seem ok? The first travis build passed, so I either did at least something right or everything completely wrong.
I'll add push access shortly for those who had it to the old repos. I'll tackle step 4 next: fixing wiki stuff. - antti
