From 713bc40997f9086a07b7cc67fe6d0f94f769f88a Mon Sep 17 00:00:00 2001
From: Vadim Rutkovsky <vrutkovs@redhat.com>
Date: Sat, 1 Aug 2020 09:40:01 +0200
Subject: [PATCH] pulls: "merged" is optionally set when listing pull-requests

---
 src/pulls.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pulls.rs b/src/pulls.rs
index d50288fc..9afa54cf 100644
--- a/src/pulls.rs
+++ b/src/pulls.rs
@@ -250,7 +250,7 @@ pub struct Pull {
     pub assignee: Option<User>,
     pub assignees: Vec<User>,
     pub merge_commit_sha: Option<String>,
-    pub merged: bool,
+    pub merged: Option<bool>,
     pub mergeable: Option<bool>,
     pub merged_by: Option<User>,
     pub comments: Option<u64>,