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

Add license #6

Merged
merged 14 commits into from
Jun 4, 2021
Merged

Add license #6

merged 14 commits into from
Jun 4, 2021

Conversation

znicholls
Copy link
Collaborator

No description provided.

@znicholls
Copy link
Collaborator Author

@mathause and @leabeusch fyi

@znicholls znicholls changed the title WIP: Add license Add license May 30, 2021
znicholls and others added 2 commits May 31, 2021 21:35
Co-authored-by: mathause <mathias.hauser@env.ethz.ch>
@znicholls znicholls requested review from mathause and leabeusch May 31, 2021 11:41
@znicholls
Copy link
Collaborator Author

znicholls commented May 31, 2021

Once we merge this I can a) transfer ownership (if given writes to make repos in MESMER-group) and/or b) make this public

Copy link
Collaborator

@leabeusch leabeusch left a comment

Choose a reason for hiding this comment

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

Based on a very quick glance this looks good to me. Just added 1 suggestion. But I'm quite confident that you & @mathause have checked this enough that it should be good. ^^

I sent you an invitation to the MESMER group now so that you can hopefully transfer the repository. I'd say it's good to go public as soon as this PR is merged and the repository is transfered. Or is anything else missing?

@znicholls znicholls merged commit 756a74b into main Jun 4, 2021
@znicholls znicholls deleted the add-license branch June 4, 2021 00:32
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.

3 participants