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 token_response = {access_token : string;scope : string option;token_type : string;
}