I'll add a note to the top of the repo - if you think there's anywhere else I could put it, please let me know!
I think there are so many bits of Mario fan-made stuff out there that we'd be safe - but if I get a copyright claim then yes, I would have to remove it.
To be on the safe side - and maybe I should be more explicit about this - please don't copy copyrighted images/etc without permission and add them to the repo. For instance if at all possible, make your own Mario pixel art or use some from a source that has freely licensed it.
For instance the recent Minions clock face could potentially cause a problem I guess... While legally we're probably ok on fair use, it's not like GitHub will care if they get a DMCA takedown.
© Espruino, powered by microcosm.
Report a problem