##// END OF EJS Templates
pull: prevent duplicated entry in `op.pulledsubset`...
Pierre-Yves David -
r20878:09e71187 default
parent child Browse files
Show More
@@ -409,7 +409,12 b' class pulloperation(object):'
409 409 if self.heads is None:
410 410 # We pulled every thing possible
411 411 # sync on everything common
412 return self.common + self.rheads
412 c = set(self.common)
413 ret = list(self.common)
414 for n in self.rheads:
415 if n not in c:
416 ret.append(n)
417 return ret
413 418 else:
414 419 # We pulled a specific subset
415 420 # sync on this subset
General Comments 0
You need to be logged in to leave comments. Login now