hgext/patchbomb.py
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: