Better error message when pushing to a non-existent local channel

pmeunier

Dec 6, 2021, 12:28 PM

7QCFIMEJF3XJYXEKRK3H57TGT6EBZOEFKHXJZSCYQTAB7HOZWYMQC

Dependencies

• [2] C5XGFNKI Simplify return type for remote get_id
• [3] A3RM526Y Integrating identity malleability
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

• replacement in pijul/src/remote/local.rs at line 47
  [2.724]→[2.724:787](∅→∅)
  − "Unable to retrieve RemoteId for Local remote"
  [2.724]

  [2.787]
  + "Channel {} does not exist in repository {}",

  + self.channel,

  + self.name