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

Dunify v0.0.3 #1

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

Dunify v0.0.3 #1

wants to merge 1 commit into from

Conversation

dinosaure
Copy link
Collaborator

Just to show what I did. I decided to use dune-site to be able to save some files into the share directory as brr does without dune. Let me know if it's good or not. /cc @NathanReb @Leonidas-from-XIV (sorry for the noise).

@NathanReb
Copy link
Member

Looks good! For subsequent port, could you try to follow the workflow described here.

That is, create a branch dune-universe-vX point to the upstream tag for vX, do the port work on a seprate branch and open a PR to merge that port branch into the dune-universe-vX. That way we can actually merge the PR when it's ready and has been reviewed.

@NathanReb
Copy link
Member

Also please do assign at least one of @Leonidas-from-XIV, @TheLortex or myself for review and await for approval before going further with the release.

That will avoid back and forth between here and opam-overlays.

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.

2 participants