@翠星石 @992d7205 Setting the repo to public is easier to do since they wanted a way that didn't require effort.

Adding a license header is a very good practise, but not required. I don't think any judge is going to disagree that if you put a LICENSE file in the root of the project and none of the files contain a license header that this implies that the license is applied to the whole project.

Adding a license header to every file can easily be done using a little script too.