Skip to content
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.

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

Properly expose github-jsoo and add missing dependencies #216

Merged
merged 1 commit into from Apr 10, 2018

Conversation

samoht
Copy link
Member

@samoht samoht commented Apr 9, 2018

No description provided.

@samoht samoht requested a review from rgrinberg April 9, 2018 14:40
@rgrinberg
Copy link
Member

Everything but the rename looks good. Shouldn't the module be Github_jsoo?

@samoht
Copy link
Member Author

samoht commented Apr 9, 2018

@rgrinberg I am trying to reflect what we do in github-lwt: I guess it's yet an other instance of the linking trick: github.mli is generated by the core lib and lwt as well as jsoo are implementing it for different backends.

@rgrinberg
Copy link
Member

I see. So I guess this will need variants support to fully work.

Copy link
Member

@rgrinberg rgrinberg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I see. We'll have to wait for variants for proper support then.

@avsm
Copy link
Member

avsm commented Apr 9, 2018

varianttsssssssssssss

@samoht samoht merged commit a4d79f1 into mirage:master Apr 10, 2018
@samoht samoht deleted the jsoo branch April 10, 2018 20:19
avsm added a commit to avsm/opam-repository that referenced this pull request Dec 12, 2018
CHANGES:

- Port to latest Atd 2.0.0 interfaces (mirage/ocaml-github#218 by @mjambon and @avsm)
- Port build system to Dune (@avsm)
- Properly expose the GitHub JavaScript library and fix dependencies (mirage/ocaml-github#216 by @samoht)
- Add `pull.merge_commit_sha` (mirage/ocaml-github#217 from @AltGr)
- Convert local opam files to the 2.0 format. (@avsm)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants