From fd82ff5128fad1d77da2f460337840bf5693d5ff Mon Sep 17 00:00:00 2001
From: Karma Riuk <riukkarma@gmail.com>
Date: Fri, 14 Mar 2025 14:07:31 +0100
Subject: [PATCH] moved github logging to file

---
 pull_requests.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pull_requests.py b/pull_requests.py
index 938ae7d..0c3717d 100644
--- a/pull_requests.py
+++ b/pull_requests.py
@@ -8,7 +8,7 @@ from tqdm import tqdm
 from datetime import datetime
 
 from dataset import Dataset, DatasetEntry, FileData, Metadata, Diff
-from utils import has_only_1_comment
+from utils import has_only_1_comment, move_github_logging_to_file
 
 
 def get_good_projects(csv_file: str) -> pd.DataFrame:
@@ -133,6 +133,7 @@ if __name__ == "__main__":
 
     args = parser.parse_args()
     g = Github(os.environ["GITHUB_AUTH_TOKEN_CRAB"])
+    move_github_logging_to_file()
 
     dataset = Dataset()
     try: