B00_github.Authauth ~http ~user () determines authentication via personal access token for user user. It the latter is unspecified it first starts by determining user by looking the
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 B00_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.Arg.env 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"])