Thomas Moschny wrote:
Having combined certs would solve that problem at the cost of sometimes storing the same information twice: e.g. when two people do the same merge, there will be two certs with different dates/authors, but identical branch names and commit messages. But that's reasonable anyway.
Agreed. I meant to make this change for years, but have been holding off to synchronize the change with the change to policy branches. Perhaps they can be done independently, though.
-graydon _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/monotone-devel