pulls: "merged" is optionally set when listing pull-requests

vrutkovs · vrutkovs · commit 713bc40997f9 · 2020-09-22T11:11:11.000+02:00
diff --git 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>,
