Add title to PR information display

Also refactor MergeInfo -> PrInfo.

Reviewed-by: Alyssa Ross <hi@alyssa.is>
Tested-by: Alyssa Ross <hi@alyssa.is>

1 files changed, 0 insertions, 16 deletions

diff --git a/src/merge_commit.graphql b/src/merge_commit.graphql
deleted file mode 100644
index 76d12ec..0000000
--- a/src/merge_commit.graphql
+++ /dev/null
@@ -1,16 +0,0 @@
-# SPDX-License-Identifier: AGPL-3.0-or-later WITH GPL-3.0-linking-exception
-# SPDX-FileCopyrightText: 2021 Alyssa Ross <hi@alyssa.is>
-
-query MergeCommitQuery($owner: String!, $repo: String!, $number: Int!) {
-  repository(owner: $owner, name: $repo) {
-    pullRequest(number: $number) {
-      baseRefName
-      mergeCommit {
-        oid
-      }
-      merged
-      mergedAt
-      closed
-    }
-  }
-}