Do not block when there is no patch to pull

pmeunier

Feb 28, 2023, 4:11 PM

XQHABMC2FOMH7SZIYVYAR5MNH2DK2AOUCX2RJKZM3PDG2H5JIXYQC

Dependencies

• [2] C3L2TLQW When downloading changes, check whether we have their dependencies and download them too
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

• edit in pijul/src/remote/mod.rs at line 1263
  [2.1295]

  [2.1295]
  + if waiting == 0 {

  + return Ok(())

  + }