From 0d21a376fec7b6cbfdb660e3c1e04bc969a86917 Mon Sep 17 00:00:00 2001
From: Tianon Gravi <admwiggin@gmail.com>
Date: Tue, 21 Apr 2015 10:44:56 -0600
Subject: [PATCH] Add "quit" choice to push.pl

---
 push.pl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/push.pl b/push.pl
index f8fb7c33a..93240a0ab 100755
--- a/push.pl
+++ b/push.pl
@@ -108,10 +108,15 @@ sub prompt_for_edit {
 	
 	my $reply = $term->get_reply(
 		prompt => 'Apply changes?',
-		choices => [ qw( yes vimdiff no ) ],
+		choices => [ qw( yes vimdiff no quit ) ],
 		default => 'yes',
 	);
 	
+	if ($reply eq 'quit') {
+		say 'quitting, as requested';
+		exit;
+	}
+	
 	if ($reply eq 'yes') {
 		return $proposedText;
 	}