From 192f07192c59dad9a1ba552c56dce3fb52f7163a Mon Sep 17 00:00:00 2001
From: Kalven Schraut <kalvens@rtvision.com>
Date: Mon, 7 Sep 2026 22:18:53 -0500
Subject: [PATCH] fix(server): remove duplicate Gitea pagination option

---
 apps/server/src/pullRequest/GiteaPullRequestApi.ts | 1 -
 1 file changed, 1 deletion(-)

diff --git a/apps/server/src/pullRequest/GiteaPullRequestApi.ts b/apps/server/src/pullRequest/GiteaPullRequestApi.ts
index 7f25eabc1a61..2bbba13f2a54 100644
--- a/apps/server/src/pullRequest/GiteaPullRequestApi.ts
+++ b/apps/server/src/pullRequest/GiteaPullRequestApi.ts
@@ -1052,7 +1052,6 @@ export const make = Effect.gen(function* () {
     limit: number;
     nullAsEmpty?: boolean;
     requirePaginationEvidence?: boolean;
-    nullAsEmpty?: boolean;
   }) {
     const rows: Array<unknown> = [];
     let path = input.path;