debian_build: use GIT_URL instead of GIT_REPO_PATH

This is a follow-up fix for commit d6a9e77

diff --git a/debian_build.py b/debian_build.py
index 7dbe9baef36df044ddf237a6bb61e5153a95fb27..004c3acb0f9dfc68a6a1468118513a66a4fbf07c 100755 (executable)
--- a/debian_build.py
+++ b/debian_build.py
@@ -674,7 +674,7 @@ export {builder_env} FORCE_SHELL=TRUE
         ))
     else:
         package_instances = []
-        git_repo_name = os.path.basename(ENV['GIT_REPO_PATH'])
+        git_repo_name = os.path.basename(ENV['GIT_URL'])
         try:
             package_instances = add_package_instances(
                 "profitbricks",