Adding a local "unrecord_changes" option in addition to the global one

pmeunier

Apr 14, 2022, 11:18 AM

FVU3Y2U3R7B6SBA5GJ227NR2JQMMFMDREMW63QODA2EUXU3754ZQC

Dependencies

• [2] 5BB266P6 Optional colours in the global config file
• [3] I24UEJQL Various post-fire fixes
• [*] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [*] SEWGHUHQ .pijul/config: simplify remotes and hooks

Change contents

• edit in pijul/src/config.rs at line 107
  [6.67]

  [2.252]
  + pub unrecord_changes: Option<usize>,
• edit in pijul/src/commands/unrecord.rs at line 59
  [3.2859]

  [3.2859]
  + n

  + } else if let Some(n) = repo.config.unrecord_changes {