search

jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 4 forks source link

feat: add a license #53

Closed grunweg closed 1 month ago

grunweg commented 2 months ago

This is better than leaving this implicit (and forcing guessing/having uncertainty later). I propose simply using the same license as mathlib4, which is the Apache 2 license.

@jcommelin @joneugster @bryangingechen @grunweg You all have contributed to this repository. Do you agree to to license your contributions as above? If so, please post a comment saying e.g. the literal phrase "I license my past and future contributions to this repository under the Apache-2.0 license." Thank you!

bryangingechen commented 2 months ago

I license my past and future contributions to this repository under the Apache-2.0 license.

grunweg commented 2 months ago

@digama0 @Ruben-VandeVelde You both have filed an issue to this repository. I am not a copyright expert; my understanding is that while smaller changes can't be copyrighted by law, its non-trivial to find out with certainity whether a given change falls under copyright or not, due to the nature of the matter. Therefore I'm asking you to agree to the new terms even if you consider your contributions to be not copyrightable. Thanks also!

grunweg commented 2 months ago

I license my past and future contributions to this repository under the Apache-2.0 license.

jcommelin commented 2 months ago

I license my past and future contributions to this repository under the Apache-2.0 license.

joneugster commented 2 months ago

I license my past and future contributions to this repository under the Apache-2.0 license.

digama0 commented 2 months ago

I license my past and future contributions to this repository under the Apache-2.0 license.

Ruben-VandeVelde commented 1 month ago

I license my past and future contributions to this repository under the Apache-2.0 license.