Then when someone realizes to use the web interface to check out that old commit, the whole thing opens up again. Hopefully github's lawyers who OK'd this know

Then when someone realizes to use the web interface to check out that old commit, the whole thing opens up again. Hopefully github's lawyers who OK'd this know a bit about git.