irmin
irmin copied to clipboard
tag the type of mergeable objects in the JSON representation
Would be great if counters could be distinguished from int in their JSON representation, so they could be mixed in the same store with a different merge semantic. This would probably require some changes to the way we define/register new contents, but it is worth investigating.