Better `pijul git` error message (when recording)

pmeunier

Jul 28, 2021, 6:25 PM

5DUMO2ICSN2WFFYHREJUHA3VNRX7QAXZVQAQI2O7ZMXYXOC5SUGAC

Dependencies

• [2] 46XERN6R Fixing "addition error" in `pijul git`
• [3] OJZWJUF2 MUCH faster `pijul add -r`
• [4] R3H7D42U Debugging `pijul git`: proper error reporting
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).

Change contents

• replacement in pijul/src/commands/git.rs at line 754
  [2.606]→[2.606:668](∅→∅)
  − error!("While adding {:?}: {}", prefixes, e);
  [2.606]

  [2.668]
  + error!("While adding {:?}: {:?}", p, e);
• replacement in pijul/src/commands/git.rs at line 775
  [2.1314]→[2.1314:1376](∅→∅)
  − error!("While adding {:?}: {}", prefixes, e);
  [2.1314]

  [2.1376]
  + error!("While adding {:?}: {:?}", prefixes, e);