changeset 33436 | 9bb4decd43b0 |
parent 32826 | 3abba5bc3454 |
child 34029 | 6e6452bc441d |
--- a/hgext/patchbomb.py Tue Jul 11 12:27:58 2017 +0200 +++ b/hgext/patchbomb.py Tue Jul 11 12:38:17 2017 +0200 @@ -122,6 +122,10 @@ cmdutil.extraexport.append('pullurl') cmdutil.extraexportmap['pullurl'] = _addpullheader +def reposetup(ui, repo): + if not repo.local(): + return + repo._wlockfreeprefix.add('last-email.txt') def prompt(ui, prompt, default=None, rest=':'): if default: