Skip to content

Pull requests: mirage/ocaml-github

New pull request New
Clear current search query, filters, and sorts
2 Open 197 Closed
2 Open 197 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Combined status bindings (Status.get)
#153 by dsheets was merged Sep 20, 2016 Loading…
HTTP redirect handling
#152 by dsheets was merged Sep 20, 2016 Loading…
Print custom error messages on GitHub errors
#151 by dsheets was merged Sep 20, 2016 Loading…
Fix Event.for_repo_issues
#150 by dsheets was merged Sep 19, 2016 Loading…
1
Improve webhook event actions
#149 by dsheets was merged Sep 19, 2016 Loading…
Collaborators
#148 by dsheets was merged Sep 19, 2016 Loading…
Fix Appveyor
#147 by dave-tucker was merged Sep 19, 2016 Loading…
2
Add Support for Labels
#146 by dave-tucker was merged Sep 18, 2016 Loading…
17
update_issue
#145 by dsheets was merged Sep 18, 2016 Loading…
Make Repo.create's interface consistent with other functions
#144 by dsheets was merged Sep 17, 2016 Loading…
Issue.get
#143 by dsheets was merged Sep 16, 2016 Loading…
Stream.fold
#142 by dsheets was merged Sep 16, 2016 Loading…
Create and delete repo
#141 by dsheets was merged Sep 15, 2016 Loading…
1
insecure_ssl on web hooks should default to false
#138 by dsheets was merged Sep 5, 2016 Loading…
push events seem to contain tree_id and id instead of sha
#137 by avsm was closed Sep 19, 2016 Loading…
1
3
Specify some default values for optional fields of push events
#135 by samoht was merged Sep 3, 2016 Loading…
3
Fix the Event.for_repo_issues call.
#134 by yallop was closed Sep 19, 2016 Loading…
6
Allow * event types
#133 by samoht was merged Sep 2, 2016 Loading…
1
Fix the docs for Organization.user_orgs
#132 by dsheets was merged Sep 2, 2016 Loading…
Support retrieving the public organizations for a user.
#130 by yallop was merged Sep 1, 2016 Loading…
3
Add schema for pushEvent webhook delivery
#129 by samoht was merged Aug 31, 2016 Loading…
1
hook: fix insecure_ssl type and allow various hook config
#128 by samoht was merged Aug 27, 2016 Loading…
5
Release 1.1.0
#126 by avsm was merged Jul 26, 2016 Loading…
Add context to status events too
#125 by samoht was merged Jul 2, 2016 Loading…
README update
#124 by iamjarvo was merged Jun 18, 2016 Loading…
ProTip! Filter pull requests by the default branch with base:master.