From 7edcde2727c8e1cbf24d533938f95b58f489c8f5 Mon Sep 17 00:00:00 2001
From: Mathias Klette <mathias.klette@profitbricks.com>
Date: Thu, 30 May 2013 16:10:33 +0200
Subject: [PATCH] debian_build: also remove "do_push" variable - it's obsolete
 now

---
 debian_build.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian_build.py b/debian_build.py
index 73085c2..c1654a2 100755
--- a/debian_build.py
+++ b/debian_build.py
@@ -106,7 +106,6 @@ if __name__ == '__main__':
     do_cidb = False
     do_cleanup = True
     do_liveboot_request = False
-    do_push = False
     do_reports = True
     do_tagging = False
     do_triggers = False
-- 
2.39.5