##// 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 if self.heads is None:
409 if self.heads is None:
410 # We pulled every thing possible
410 # We pulled every thing possible
411 # sync on everything common
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 else:
418 else:
414 # We pulled a specific subset
419 # We pulled a specific subset
415 # sync on this subset
420 # sync on this subset
General Comments 0
You need to be logged in to leave comments. Login now