Stream: coq-community devs & users

Topic: License for performance history repo


view this post on Zulip Karl Palmskog (Nov 29 2021 at 20:16):

@Jason Gross could you please add a license to this repo: https://github.com/coq-community/coq-performance-tests-plots-history

The background is that we want to be more explicit about what licenses we require and use in coq-community. So we should be consistent about having a license declaration in every repo, even if it only contains metadata.

view this post on Zulip Jason Gross (Nov 29 2021 at 20:41):

Sure. Does MIT License work for autogenerated data and autogenerated plots of that data, or is there a better license? (Unlicense?)

view this post on Zulip Karl Palmskog (Nov 29 2021 at 20:44):

either MIT or Unlicense is fine by me. I see no fundamental problem with MIT for data (I've used it myself), but someone else may know better.

view this post on Zulip Jason Gross (Nov 29 2021 at 21:01):

@Karl Palmskog I've made https://github.com/coq-community/coq-performance-tests-plots-history/pull/1 with cc0. Does this seem fine?

view this post on Zulip Karl Palmskog (Nov 29 2021 at 21:04):

sure, feel free to merge.

view this post on Zulip Karl Palmskog (Nov 30 2021 at 16:03):

@Jason Gross unfortunately it looks like the LICENSE file was overwritten by an automated push. Maybe the push could be changed to avoid deleting the file?


Last updated: Feb 04 2023 at 02:03 UTC