Searched refs:saved_headrevs (Results 1 – 1 of 1) sorted by relevance
494 saved_headrevs = {} variable506 if not bb.fetch2.saved_headrevs:507 bb.fetch2.saved_headrevs = dict(revs)540 return headrevs != bb.fetch2.saved_headrevs