@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.
Sure. Does MIT License work for autogenerated data and autogenerated plots of that data, or is there a better license? (Unlicense?)
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.
@Karl Palmskog I've made https://github.com/coq-community/coq-performance-tests-plots-history/pull/1 with cc0. Does this seem fine?
sure, feel free to merge.
@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