Skip to content

Issues: mirage/ocaml-github

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 54 Closed
22 Open 54 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Support GitHub Enterprise
#268 opened Nov 9, 2022 by bn-d
1
Differentiate types for "Pull Request Simple" and "Pull Request" to support richer data in Github_core.Pull.get
#267 opened May 15, 2022 by shonfeder
1
git-jar make is not able to create cookies anymore
#259 opened Dec 3, 2021 by kit-ty-kate
3
Problem while parsing event hook metadata
#223 opened Jun 3, 2019 by Aaylor
2
Cross-references in code
#220 opened Apr 10, 2019 by dra27
EPIPE when uploading asset
#197 opened May 10, 2017 by toolslive
3
Poor error if chmod fails
#195 opened Apr 18, 2017 by talex5
3
Add webhook pings
#189 opened Mar 19, 2017 by dsheets
Add support for GitHub Integrations
#185 opened Feb 14, 2017 by talex5
1
Add maintainer_can_modify field to PR creation
#184 opened Jan 6, 2017 by dsheets
3
git jar should allow alternate GitHub token names
#172 opened Oct 28, 2016 by dsheets
Provide future-proof record constructors
#168 opened Sep 26, 2016 by dsheets
Update gh-pages API docs
#166 opened Sep 21, 2016 by dsheets
port to graphql!?!
#139 opened Sep 15, 2016 by hannesm
13
Add anonymous contributor listing capability
#121 opened May 25, 2016 by dsheets
Check empty stream endpoints for 404 compatibility
#119 opened May 25, 2016 by dsheets
1
Move from atdgen to ppx_deriving_yojson
#109 opened Apr 4, 2016 by rgrinberg
13
JSON output for the various commands
#102 opened Mar 28, 2016 by rgrinberg
4
Root API
#92 opened Nov 16, 2015 by dinosaure
2
Rate limit tracking with multiple implicit tokens doesn't work
#84 opened Jun 1, 2015 by dsheets
Support check, reset, and fingerprint for tokens
#83 opened Jun 1, 2015 by dsheets
using tokens (from cookie jar) to perform git operations (e.g., push)
#40 opened Nov 12, 2014 by niksu
7
ProTip! Type g i on any issue or pull request to go back to the issue listing page.