Branching is easy. Merging is hard.