changeset 34575 | dc91580a0a88 |
parent 34413 | 014d467f9d08 |
child 34827 | 96802496ecc0 |
--- a/mercurial/obsolete.py Thu Oct 05 15:11:34 2017 +0200 +++ b/mercurial/obsolete.py Fri Oct 06 16:15:24 2017 +0200 @@ -1035,7 +1035,11 @@ if metadata is None: metadata = {} if 'user' not in metadata: - metadata['user'] = repo.ui.username() + develuser = repo.ui.config('devel', 'user.obsmarker') + if develuser: + metadata['user'] = develuser + else: + metadata['user'] = repo.ui.username() # Operation metadata handling useoperation = repo.ui.configbool('experimental',