Fix GitHub merge queue PR status (#2856)

* Fix GitHub merge queue PR status

* Fix merge queue GraphQL field encoding

Co-authored-by: Orca <help@stably.ai>

---------

Co-authored-by: Neil <4138956+nwparker@users.noreply.github.com>
Co-authored-by: Jinwoo-H <jinwoo0825@gmail.com>
Co-authored-by: Orca <help@stably.ai>

src/main/runtime/rpc/methods/github.ts

@@ -123,6 +123,12 @@ const MergePr = RepoSelector.extend({
   prRepo: SlugRepo.nullable().optional()
 })
 
+const SetPrAutoMerge = RepoSelector.extend({
+  prNumber: z.number().int().positive(),
+  enabled: z.boolean(),
+  prRepo: SlugRepo.nullable().optional()
+})
+
 const UpdatePrState = RepoSelector.extend({
   prNumber: z.number().int().positive(),
   updates: z.object({
@@ -440,6 +446,17 @@ export const GITHUB_METHODS: RpcMethod[] = [
     handler: async (params, { runtime }) =>
       runtime.mergeRepoPR(params.repo, params.prNumber, params.method, params.prRepo ?? null)
   }),
+  defineMethod({
+    name: 'github.setPRAutoMerge',
+    params: SetPrAutoMerge,
+    handler: async (params, { runtime }) =>
+      runtime.setRepoPRAutoMerge(
+        params.repo,
+        params.prNumber,
+        params.enabled,
+        params.prRepo ?? null
+      )
+  }),
   defineMethod({
     name: 'github.updatePRState',
     params: UpdatePrState,