Fix closed issue text

Co-authored-by: Timur Sağlam <timur.saglam@kit.edu>
jplag · May 3, 2024 · 8335d97 · 8335d97
1 parent f5cea2d
commit 8335d97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/scripts/closeDevIssues.py b/.github/workflows/scripts/closeDevIssues.py
@@ -61,7 +61,7 @@ def get_linked_issues(result):
 issues = get_linked_issues(result)
 
 def close_issue(issue_number):
-    requests.post(f"https://api.github.com/repos/{owner}/{repo}/issues/{issue_number}/comments", json={"body": f"Closed by #{pr_number}"}, headers=headers)
+    requests.post(f"https://api.github.com/repos/{owner}/{repo}/issues/{issue_number}/comments", json={"body": f"Closed by #{pr_number}."}, headers=headers)
     requests.patch(f"https://api.github.com/repos/{owner}/{repo}/issues/{issue_number}", json={"state": "closed"}, headers=headers)
 
 if result['baseRefName'] != "develop":