Do not present changes we know as "unknown" on the remote

pmeunier

Aug 2, 2021, 8:15 PM

K4CVMIUKNWBZ676IKSR5MYKTCDPPCRGWVAGYU772CE2B3AGAP4KQC

Dependencies

• [2] IVLLXQ5Z Improved push/pull reporting
• [3] 76PCXGML Pushing to, and pulling from the local repository
• [4] CCLLB7OI Upgrading to Sanakirja 0.15 + version bump
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

• replacement in pijul/src/remote/mod.rs at line 273
  [2.7022]→[2.7022:7082](∅→∅)
  − if self.ours_ge_dichotomy_set.contains(h) {
  [2.7022]

  [2.7082]
  + if self.ours_ge_dichotomy_set.contains(h)

  + || txn.get_revchanges(&channel, h).unwrap().is_some()

  + {