package current_github

  1. Overview
  2. Docs

Integration with GitHub.

Call this whenever an HTTP request is received on the web-hook endpoint.

module Repo_id : sig ... end

Identifies a repository hosted on GitHub.

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