181 | + print("Run 'git diff HEAD~' to show the changes being merged.",file=stderr)
182 | + print("Type 'exit' when done.",file=stderr)
183 | + if os.path.isfile('/etc/debian_version'): # Show pull number on Debian default prompt
184 | + os.putenv('debian_chroot',pull)
185 | + subprocess.call([BASH,'-i'])
186 | + reply = ask_prompt("Type 'm' to accept the merge.")
BTW: is anyone opposed to combining 'accept' and 'sign off' into one step? I may be overlooking something, but I've never completely understood why these are separate, why you would accept a change but then not sign it (which is mandatory).
They were separate at a time when the signing was not mandatory :)