irmin icon indicating copy to clipboard operation
irmin copied to clipboard

tag the type of mergeable objects in the JSON representation

Open samoht opened this issue 7 years ago • 0 comments

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.

samoht avatar Feb 16 '17 13:02 samoht