package current_github

  1. Overview
  2. Docs

Integration with GitHub.

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

module Repo_id : sig ... end

Identifies a repository hosted on GitHub.

module Api : sig ... end
module Installation : sig ... end
module App : sig ... end
module Auth : sig ... end

Use GitHub to authenticate users.