Re: Merging repositories (was Re: future directions for a unified rumprun)

[Antti Kantee]

The procedure I ended up using:

git checkout --orphan rumprun-foo
git rm -rf .
git pull https://github.com/rumpkernel/rumprun-foo
git rm -rf <common files>
git commit
git mv README.md README-foo.md
git commit
git checkout master
git merge rumprun-foo