Btw, it's fun just looking at the merged git repository itself with gitk, now that it has two "roots".