Karl Palmskog (Nov 29 2021 at 20:16): 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.
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?)
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.
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?
Karl Palmskog (Nov 29 2021 at 21:04):sure, feel free to merge.
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: Jun 03 2023 at 15:31 UTC