Merge pull request #159 from usegalaxy-eu/fix-deleted-branch

Fix file retrieval after branch removal
usegalaxy-eu · Jan 8, 2025 · 21512a2 · 21512a2
2 parents e517b21 + 5555b78
commit 21512a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/github_run.py b/github_run.py
@@ -65,7 +65,7 @@ def get_files(self):
             if file_path.endswith(".md"):
                 head_branch = self.pr.head
                 pr_content = head_branch.repo.get_contents(
-                    file_path, ref=head_branch.ref
+                    file_path, ref=head_branch.sha
                 ).decoded_content.decode()
                 os.makedirs(os.path.dirname(file_path), exist_ok=True)
                 with open(file_path, "w") as f: