From eefebb166eb960860f7a9c89711765efcef3d361 Mon Sep 17 00:00:00 2001
From: a4z <harald.achitz@gmail.com>
Date: Fri, 22 Dec 2023 14:37:24 +0100
Subject: [PATCH] More debug output

---
 get-generator.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/get-generator.py b/get-generator.py
index 0991979..1169349 100644
--- a/get-generator.py
+++ b/get-generator.py
@@ -78,6 +78,8 @@ def download_from_pr(owner, repo, pr_number):
     headers = {'Authorization': f'token {TOKEN}'}
     download_name=f'djinni-generator-{pr_number}.zip'
 
+    dbg_print(headers)
+
     # Get the commits for the pull request
     response = requests.get(f'https://api.github.com/repos/{owner}/{repo}/pulls/{pr_number}/commits', headers=headers)
     commits = response.json()