Merge multiple branches

This functionality is also necessary to facilitate the workflow i described here.

For merging, we can assume: ‘an element is always overwritten by the version in the latest commit’

2 Likes