equal
deleted
inserted
replaced
120 |
120 |
121 def uisetup(ui): |
121 def uisetup(ui): |
122 cmdutil.extraexport.append('pullurl') |
122 cmdutil.extraexport.append('pullurl') |
123 cmdutil.extraexportmap['pullurl'] = _addpullheader |
123 cmdutil.extraexportmap['pullurl'] = _addpullheader |
124 |
124 |
|
125 def reposetup(ui, repo): |
|
126 if not repo.local(): |
|
127 return |
|
128 repo._wlockfreeprefix.add('last-email.txt') |
125 |
129 |
126 def prompt(ui, prompt, default=None, rest=':'): |
130 def prompt(ui, prompt, default=None, rest=':'): |
127 if default: |
131 if default: |
128 prompt += ' [%s]' % default |
132 prompt += ' [%s]' % default |
129 return ui.prompt(prompt + rest, default) |
133 return ui.prompt(prompt + rest, default) |