On Fri, Apr 5, 2013 at 6:46 AM, Jed Brown <jed@xxxxxxxx> wrote: > Felipe Contreras <felipe.contreras@xxxxxxxxx> writes: > >> @@ -76,12 +78,19 @@ class Marks: >> >> def __init__(self, path): >> self.path = path >> + self.clear() >> + self.load() >> + >> + if self.version < VERSION: >> + self.clear() > > It's friendlier to just upgrade the marks in-place. This takes less than > one second to run on repositories where full re-import would take half > an hour: Yeah, but that's riskier, and only works for this particular version. Besides, it only happens one time per repository at best. Also, it would mess up the current organization of the code. I'm not sure it's worth worrying about it at this point, and we could always add a patch on top. -- Felipe Contreras -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html