Update comments, clean up and fix code

1 files changed, 2 insertions, 12 deletions

diff --git a/mod/mod-ci-github-gh.hxx b/mod/mod-ci-github-gh.hxx
index 281d765..f3bcfeb 100644
--- a/mod/mod-ci-github-gh.hxx
+++ b/mod/mod-ci-github-gh.hxx
@@ -73,17 +73,8 @@ namespace brep
     string node_id;
     unsigned int number;
 
-    string state; // "open" or "closed".
-
-    // If absent then the result of the test merge commit is not yet
-    // available. If true then `merge_commit_sha` contains the commit ID of
-    // the merge commit. If false then `merge_commit_sha` is either empty or
-    // no longer valid.
-    //
-    //   @@ TODO These appear to be unused.
-    //
-    optional<bool> mergeable;
-    string merge_commit_sha;
+    // @@ TMP The unused base/head members may be useful for trace output when
+    //    we receive the pull_request webhook.
 
     string base_path; // Repository path (<org>/<repo>) under github.com.
     string base_ref;  // @@ TODO Remove if remains unused.
@@ -127,7 +118,6 @@ namespace brep
     string node_id;
     string name;
     string path; // Repository path (<org>/<repo>) under github.com.
-    string default_branch;
     string clone_url;
 
     explicit