Ask HN: Does a line of GPLv3 code in a repository history make the project GPL? | Hacker News Reader