package current_github

You can search for identifiers within the package.

in-package search v0.2.0

current_github
- Current_github
  - Api
    
    Anonymous
    
    CheckRun
    
    CheckRunStatus
    
    Commit
    
    GRAPHQL_QUERY
    
    Monitor
    
    Query
    
    Ref
    
    Ref_map
    
    Repo
    
    Status
  - App
  - Auth
  - Installation
  - Repo_id

Legend:
Library
Module
Module type
Parameter
Class
Class type

Integration with GitHub.

val webhook : 
  engine:Current.Engine.t ->
  webhook_secret:string ->
  has_role:(Current_web.User.t option -> Current_web.Role.t -> bool) ->
  Current_web.Resource.t

GitHub webhook endpoint. This MUST be added to Current_web.routes so that we get notified of events. This webhook handles the events:

installation_repositories
installation
pull_request
push
create
check_run

Webhook payloads are validated against webhook_secret.

See https://docs.github.com/en/developers/webhooks-and-events/webhooks/securing-your-webhooks

module Repo_id : sig ... end

Identifier for a repository hosted on GitHub.

module Api : sig ... end

Access to the GitHub API.

module Installation : sig ... end

Installation of a GitHub application.

module App : sig ... end

A GitHub Application.

module Auth : sig ... end

Use GitHub to authenticate users.