remove deleted remote tracking branches

diff --git a/debian_build.py b/debian_build.py
index 003d69a86a0d10fc375ae5c20c6c99f6ec0f259f..481f40f3b60cff10d72146138244edcc8226004f 100755 (executable)
--- a/debian_build.py
+++ b/debian_build.py
@@ -258,6 +258,10 @@ if __name__ == '__main__':
 
     logger.info('Reset and clean repository.')
     gitcmd = git.Git('.')
+    logger.debug(
+        'git fetch origin --force --prune
+        %( gitcmd.fetch('--force','--prune').strip() )
+    )
     logger.debug(
         'git reset --hard HEAD:\n%s'
         %(gitcmd.reset('--hard','HEAD').strip())