debian_build: ENV['GIT_BRANCH'] may include origin as prefix, use local_branch instead

diff --git a/debian_build.py b/debian_build.py
index 395696677fedc0d4febf998b62eb89afaf03c8d2..f3f1b2f4517a0bafc66c825a5e4d85016891c8b6 100755 (executable)
--- a/debian_build.py
+++ b/debian_build.py
@@ -208,7 +208,7 @@ if __name__ == '__main__':
                 ))
             exit_error()
 
-        new_dist = 'dev-{0}'.format(ENV['GIT_BRANCH'].replace("/", "-"))
+        new_dist = 'dev-{0}'.format(local_branch.replace("/", "-"))
         new_version = '{version}~experimental{date}+{build}+{commit}'.format(
             version = curr_version,
             date = daily_date,