Make.PullThe Pull module contains functionality relating to GitHub's pull request API.
val for_repo : ?token:Token.t -> ?state:Filter.state -> user:string -> repo:string -> unit -> Github_t.pull Stream.tfor_repo ?state ~user ~repo () is a stream of pull requests against repo user/repo which are currently in state ?state (default `Open).
val get : ?token:Token.t -> user:string -> repo:string -> num:int -> unit -> Github_t.pull Response.t Monad.tget ~user ~repo ~num () is the pull request user/repo#num.
val create : ?token:Token.t -> user:string -> repo:string -> pull:Github_t.new_pull -> unit -> Github_t.pull Response.t Monad.tcreate ~user ~repo ~pull () is the newly created pull request against repo user/repo as described by pull.
val create_from_issue : ?token:Token.t -> user:string -> repo:string -> pull_issue:Github_t.new_pull_issue ->
unit -> Github_t.pull Response.t Monad.tcreate_from_issue ~user ~repo ~pull_issue () is the newly created pull request from an issue against repo user/repo as described by pull_issue.
val update : ?token:Token.t -> user:string -> repo:string -> update_pull:Github_t.update_pull -> num:int ->
unit -> Github_t.pull Response.t Monad.tupdate ~user ~repo ~update_pull ~num () is the updated pull request user/repo#num as described by update_pull.
val commits : ?token:Token.t -> user:string -> repo:string -> num:int -> unit -> Github_t.commit Stream.tcommits ~user ~repo ~num () is the stream of commits included in pull request user/repo#num.
val files : ?token:Token.t -> user:string -> repo:string -> num:int -> unit -> Github_t.file Stream.tfiles ~user ~repo ~num () is the stream of files included in pull request user/repo#num.
val is_merged : ?token:Token.t -> user:string -> repo:string -> num:int -> unit -> bool Response.t Monad.tis_merged ~user ~repo ~num () is true if pull request user/repo#num has been merged.
val merge : ?token:Token.t -> user:string -> repo:string -> num:int ->
?merge_commit_message:string -> unit -> Github_t.merge Response.t Monad.tmerge ~user ~repo ~num ?merge_commit_message () is the merge of pull request user/repo#num with optional commit message ?merge_commit_message.