On 05/03/15 21:01, Antti Kantee wrote:
Step 3 is done:http://repo.rumpkernel.org/rumprun
I probably should have sent the mail with a more obvious subject.One thing I should have mentioned last night is that if you have a clone of either repo, you *should* be able to start using the new repo just by editing the origin url in .git/config and pulling (or by using some git origin-url-twist-and-shout command that I can't remember off the top of my head).
- antti
