debian_build: use GIT_URL instead of GIT_REPO_PATH

GIT_REPO_PATH doesn't exist in few jobs (?), also GIT_URL fits better

diff --git a/debian_build.py b/debian_build.py
index c1e3bcf046d8a6fa1e7ba3a8bc86f731e7b5910b..8831f322264ddd7743ef75623de7a3bde0c81153 100755 (executable)
--- a/debian_build.py
+++ b/debian_build.py
@@ -680,7 +680,7 @@ export {builder_env} FORCE_SHELL=TRUE
                 BUILD_START,
                 BUILD_END,
                 git_repo_name,
-                ENV['GIT_REPO_PATH'],
+                ENV['GIT_URL'],
                 ENV['GIT_COMMIT']
             )
             figlet('CIDB OK')