diff options
Diffstat (limited to 'gbp/scripts/push.py')
| -rwxr-xr-x | gbp/scripts/push.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gbp/scripts/push.py b/gbp/scripts/push.py index 268abbed..868b0954 100755 --- a/gbp/scripts/push.py +++ b/gbp/scripts/push.py @@ -170,6 +170,8 @@ def main(argv): except (GbpError, GitRepositoryError, DebianSourceError) as err: if str(err): gbp.log.err(err) + except KeyboardInterrupt: + gbp.log.err("Interrupted. Aborting.") return retval |