package current_github

You can search for identifiers within the package.

in-package search v0.2.0

Module `Current_github`Source

Integration with GitHub.

Sourceval webhook : Current_web.Resource.t

Our web-hook endpoint. This must be added to Current_web.routes so that we get notified of events.

Sourcemodule Repo_id : sig ... end

Identifies a repository hosted on GitHub.

Sourcemodule Api : sig ... end

Sourcemodule Installation : sig ... end

Sourcemodule App : sig ... end

Sourcemodule Auth : sig ... end

Use GitHub to authenticate users.