handle "Bot" user type (#270)

zoggy · web-flow · commit 217dcd54b932 · 2024-01-08T09:25:25.000+11:00
* handle "Bot" user type * update changelog for #270
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,6 @@
 ## Unreleased
 - Add ping a repository and org webhook. (@tmcgilchrist #263)
+- Handle "Bot" user type (@zoggy #270)
 
 ## 4.4.1 (2022-01-26)
 - Fix older versions of github can be co-installed with github-data (@dra27 #261)
diff --git a/lib_data/github.atd b/lib_data/github.atd
@@ -112,6 +112,7 @@ type direction = [
 type user_type = [
   | User <json name="User">
   | Org <json name="Organization">
+  | Bot <json name="Bot">
 ]
 
 type org = {
@@ -1370,7 +1371,7 @@ type check_status = [
   | Queued <json name="queued">
   | In_progress <json name="in_progress">
   | Completed <json name="completed">
-] 
+]
 
 type check_conclusion = [
   | Success <json name="success">
@@ -1379,7 +1380,7 @@ type check_conclusion = [
   | Cancelled <json name="cancelled">
   | Timed_out <json name="timed_out">
   | Action_required <json name="action_required">
-] 
+]
 
 type check_run_output = {
   title: string nullable;
@@ -1470,7 +1471,7 @@ type check_run_annotations = check_run_annotation list
 type check_suite_info = {
   email: string;
   name: string;
-} 
+}
 
 type check_suite_head_commit = {
   id: string;
@@ -1515,4 +1516,4 @@ type check_suite_preferences = {
   preferences: auto_trigger_checks list;
   respository: repository;
 }
- 
+
