debian_build: also remove "do_push" variable - it's obsolete now

diff --git a/debian_build.py b/debian_build.py
index 73085c2b2738585897d65a35fcaaf4a684d6ecdd..c1654a29fcb75a7b86286b8e633abfc94ce13a89 100755 (executable)
--- 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