From c793be586382f7e9be23ce05d390ed80fe30880c Mon Sep 17 00:00:00 2001
From: Arunavo Ray <rayanup3@gmail.com>
Date: Fri, 29 Aug 2025 16:58:48 +0530
Subject: [PATCH] closed and merged pull requests will be created as closed
 issues

---
 src/lib/gitea.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib/gitea.ts b/src/lib/gitea.ts
index 8976a63..9ef3d9b 100644
--- a/src/lib/gitea.ts
+++ b/src/lib/gitea.ts
@@ -1702,7 +1702,7 @@ export async function mirrorGitRepoPullRequestsToGitea({
           title: issueTitle,
           body: richBody,
           labels: pullRequestLabelId ? [pullRequestLabelId] : [],
-          state: pr.state === "closed" ? "closed" : "open",
+          closed: pr.state === "closed" || pr.merged_at !== null,
         };
 
         console.log(`[Pull Requests] Creating enriched issue for PR #${pr.number}: ${pr.title}`);
@@ -1722,7 +1722,7 @@ export async function mirrorGitRepoPullRequestsToGitea({
           title: `[PR #${pr.number}] ${pr.title}`,
           body: `**Original Pull Request:** ${pr.html_url}\n\n**State:** ${pr.state}\n**Merged:** ${pr.merged_at ? 'Yes' : 'No'}\n\n---\n\n${pr.body || 'No description provided'}`,
           labels: pullRequestLabelId ? [pullRequestLabelId] : [],
-          state: pr.state === "closed" ? "closed" : "open",
+          closed: pr.state === "closed" || pr.merged_at !== null,
         };
         
         try {