On Monday, 20 July 2015 at 08:40:24 UTC, Kagamin wrote:
Redistribution is explicitly disallowed though (i.e. one can't fork it on github without individual permission).
Technically, I believe that by uploading any project to GitHub, one has granted permission for it to be forked _on GitHub_. (This is explicitly stated in the GitHub Terms of Service.)
That doesn't automatically grant any other permissions of re-use or redistribution, though.
