Unrecord the pending patch when pulling, in the special case that there is nothing to download

pmeunier

Jul 21, 2021, 7:16 PM

5PZN75Y6NSYDCYWWUWH3TSMV7ZCG7BNCQSBRC7DHCK4G6B5RBCUAC

Dependencies

• [2] CVLQ7DBF Committing the remotes even if we do not push anything
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [*] Q45QHPO4 Feedback on network stuff

Change contents

• edit in pijul/src/commands/pushpull.rs at line 580
  [5.2228]

  [2.56]
  + if let Some(ref h) = hash {

  + txn.write().unrecord(&repo.changes, &mut channel, h, 0)?;

  + }