Codestin Search App

4.5.0

CHANGES:

- Add ping a repository and org webhook. (@tmcgilchrist #263)
- Handle "Bot" user type (@zoggy #270)
- Add provisional support for the upcoming cmdliner 2.0.0 (@tmcgilchrist @kit-ty-kate #265 #279)
- Add support for atdgen 2.16.0 (@kit-ty-kate #275)
- Upgrade the GitHub REST API support to v2022-11-28 as every other versions are now unsupported (@kit-ty-kate #274)

Aug 23, 2025
d70232b
zip
tar.gz
Notes
Downloads

4.4.1

Release 4.4.1

CHANGES:

- Fix older versions of github can be co-installed with github-data (@dra27 #261)
- Fix github transitively depends on jsoo (@tmcgilchrist #262)

Jan 26, 2022
d0d486a
zip
tar.gz
Notes
Downloads

4.4.0

Release 4.4.0

CHANGES:

- Fixes to odoc warnings and cohttp dependencies (@Aaylor #244)
- Support cohttp 4.0. (@tmcgilchrist #257)
- Support for 4.12 and fixing recent compiler warnings (@tmcgilchrist #246 #252 and @emillon #250 #247 #251)
- Add a new package `github-data` which contains just the serialisation logic
  without a dependency on the web stack (#248 @emillon)
- Add Github checks API support (#249 @tmcgilchrist)
- Label field missing in branch refs for ghost (@dra27 and @tmcgilchrist #256)
- Get all commits for user/repo (@Stevendeo #245)