D1857: pull: re-run discovery and pullbundle2 if server didn't send all heads

[joerg.sonnenberger (Joerg Sonnenberger)]

joerg.sonnenberger added a comment.


  With the last update, the obs issues are resolved.

REPOSITORY
  rHG Mercurial

REVISION DETAIL
  https://phab.mercurial-scm.org/D1857

To: joerg.sonnenberger, #hg-reviewers
Cc: mercurial-devel