From fdc69d441b1de9e33da9b606b3e9d6bbbe083044 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?=
 <theypsilon@gmail.com>
Date: Sun, 13 Aug 2023 13:15:20 +0200
Subject: [PATCH] More debugging

---
 .github/download_distribution.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/download_distribution.py b/.github/download_distribution.py
index d80f346bf..c868d049c 100755
--- a/.github/download_distribution.py
+++ b/.github/download_distribution.py
@@ -669,6 +669,7 @@ def download_mister_devel_repository(input_url: str, delme: str, category: str)
 
     git_url = f'{input_url.replace(cleanup, "")}.git'
     download_repository(path, git_url, branch)
+    print('path: ' + path)
     return path
 
 def get_repository_name(url: str) -> str: