Comment by ThisIBereave

It should be noted that public github repos are _not_ public domain and not even necessarily open source unless the author specifies a license.