changeset 38733 | c2586a6e5884 |
parent 38550 | 88e6630dc8d0 |
child 38738 | faea9b1980d9 |
--- a/hgext/histedit.py Wed Jul 18 09:49:34 2018 -0700 +++ b/hgext/histedit.py Tue Jul 10 17:01:06 2018 +0530 @@ -1111,7 +1111,9 @@ fm.startitem() goal = _getgoal(opts) revs = opts.get('rev', []) - nobackup = opts.get('no_backup') + # experimental config: ui.history-editing-backup + nobackup = (opts.get('no_backup') or + not ui.configbool('ui', 'history-editing-backup')) rules = opts.get('commands', '') state.keep = opts.get('keep', False)