Pulling patches from a remote that we know of, but do not yet have on the channel

pmeunier

Jan 14, 2022, 12:13 PM

5UQO4QKBLH6DSUPKHIOQ5FMMJYCM6I7ZB6BP2POA5AYUX2MYXZCAC

Dependencies

• [2] DO2Y5TY5 Tag synchronisation
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

• edit in pijul/src/remote/mod.rs at line 724
  [2.12945]

  [2.12945]
  + for x in txn.iter_rev_remote(&remote_ref.lock().remote, None)? {

  + let (_, p) = x?;

  + let h: Hash = p.a.into();

  + if txn.channel_has_state(txn.states(&current_channel.read()), &p.b).unwrap().is_some() {

  + break

  + }

  + if txn.get_revchanges(&current_channel, &h).unwrap().is_none() {

  + to_download.push(CS::Change(h));

  + }

  + }

  +

  + // The patches in theirs_ge_dichotomy are unknown to us,

  + // download them.