B00_github.Authauth ~http ~user () determines authentication via personal access token for user user. It the latter is unspecified it first looks up the contents of the B0_GITHUB_TOKEN environment variable if that fails it looks up for an existing token in the B0_std.Os.Dir.config () /b0/github/$USER.token file. If that fails instructions are printed on how to setup the token.
val user : t -> stringuser a is the GitHub user.
val token : t -> stringtoken a is the Github token.
val envs : Cmdliner.Cmd.Env.info listval cli : ?opts:string list -> unit -> (t, string) result Cmdliner.Term.tcli () is a command line interface for GitHub authentication. opts are the options that can be used for specifiying the github user (defaults to ["u";"github"])