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.

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

Jump to bottom

Update authors/maintainers #798

Merged
merged 3 commits into from
Feb 23, 2023
Merged

Update authors/maintainers #798

merged 3 commits into from
Feb 23, 2023

Conversation

samoht
Copy link
Member

@samoht samoht commented Feb 23, 2023 •
edited
Loading

I've picked the 10 first contributors as authors (from that list) + Thibaut who wrote the initial Dream version.

/cc @tmattio

@samoht
Update authors/maintainers
35c6602 
I've picked the 10 first contributors (as authors) + Thibaut who wrote
the initial Dream version.
tmattio
tmattio approved these changes Feb 23, 2023
View reviewed changes
Copy link
Contributor

@tmattio tmattio left a comment

Choose a reason for hiding this comment

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

Looks good, thanks for updating the list @samoht!

@samoht
Remove mirageio-bin.opam
41742f7 
We don't need this extra complexity: this is using the same dependencies
as mirageio anyway.
@samoht
Update dune-project
5dc9b48
@samoht samoht merged commit 4a2f94a into mirage:master Feb 23, 2023
@samoht samoht deleted the update-authors-and-maintainer branch February 23, 2023 17:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tmattio tmattio tmattio approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@samoht @tmattio