hgext/histedit.py
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)