Missing LICENSE file - Githubissues

hughperkins commented 2 years ago

Hi, looking forward to trying some of your formal verification tests against my own work. From your README, looks like the license is Apache 2.0. However, no LICENSE file currently exists in your repo, and github doesn't detect the license of your work. Dont suppose... please could you consider adding a LICENSE file to your repo? github will then pick this up, and automatically show the license type on the right hand side of your github page. (e.g. https://github.com/apache/httpd, see screenshot:

ZipCPU commented 2 years ago

I'm not convinced this needs a fix. Every file in the repository should already be properly marked with the license it is released under.

hughperkins commented 2 years ago

From a legal point of view, I believe this might not need to be fixed AFAIK (Note: I am not a lawyer; this is not legal advice...). However, from a usability point of view, I feel it is very convenient to be able to instantly see the license of a repo at a glance, without needing to dig through the readme etc.

hughperkins commented 2 years ago

Note that in the apache 2.0 license instructions, they recommend https://www.apache.org/licenses/LICENSE-2.0 :

ZipCPU / wb2axip

Missing LICENSE file #49