Searched refs:saved_headrevs (Results 1 – 1 of 1) sorted by relevance
493 saved_headrevs = {} variable505 if not bb.fetch2.saved_headrevs:506 bb.fetch2.saved_headrevs = dict(revs)539 return headrevs != bb.fetch2.saved_headrevs