Comment by 3836293648

GitHub should allow arbitrary files in nhe repo, but all repo should require a licence tag