Sourcetype github_prompt = | No_Prompt| Select_Account| Other of string
Sourcetype github_oauth_config = {client_id : string;client_secret : string;redirect_uri : Json_uri.t;scope : string list;login : string option;allow_signup : bool option;prompt : github_prompt;
} Sourcetype github_plan = {name : string;space : int;private_repos : int;collaborators : int;
} Sourcetype user_response = {login : string;id : int;node_id : string;avatar_url : Json_uri.t;gravatar_id : string;url : Json_uri.t;html_url : Json_uri.t;followers_url : Json_uri.t;following_url : Json_uri.t;gists_url : Json_uri.t;starred_url : Json_uri.t;subscriptions_url : Json_uri.t;organizations_url : Json_uri.t;repos_url : Json_uri.t;events_url : Json_uri.t;received_events_url : Json_uri.t;user_type : string;user_view_type : string;site_admin : bool;name : string;company : string;blog : Json_uri.t;location : string;email : string option;hireable : bool option;bio : string option;notification_email : string option;public_repos : int;public_gists : int;followers : int;following : int;created_at : string;updated_at : string;private_gists : int;total_private_repos : int;owned_private_repos : int;disk_usage : int;collaborators : int;two_factor_authentication : bool;plan : github_plan;
} Sourcetype token_response = {access_token : string;scope : string option;token_type : string;
}