Deduplicate lists of pulled patches

pmeunier

May 13, 2022, 9:06 AM

O67AB66OLFEZMDX6YNPUN5TP4LLJYBCMXBTX62WSKVKUQFPDA32QC

Dependencies

• [2] 5UQO4QKB Pulling patches from a remote that we know of, but do not yet have on the channel
• [3] RM225IDQ Exchanging tagged states over SSH
• [4] DO2Y5TY5 Tag synchronisation
• [5] 22JKXA5H Formatting
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

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

  [2.0]
  + let mut to_download_ = HashSet::new();
• replacement in pijul/src/remote/mod.rs at line 736
  [2.382]→[2.382:435](∅→∅)
  − to_download.push(CS::Change(h));
  [2.382]

  [2.435]
  + let h = CS::Change(h);

  + if to_download_.insert(h.clone()) {

  + to_download.push(h);

  + }
• replacement in pijul/src/remote/mod.rs at line 749
  [3.13213]→[3.13213:13263](∅→∅)
  − to_download.push(ch.clone());
  [3.13213]

  [3.13263]
  + if to_download_.insert(ch.clone()) {

  + to_download.push(ch.clone());

  + }