Closed fscottfoti closed 10 years ago
(That's not something you can do via a PR. I can have a crack at this later, if you want.)
OK, that sounds good. I think we should permanently remove the large notebooks too (and add them back in a smaller form).
It'd be nice, if appropriate, to completely remove these from the project history to cut down the repo size a bit. https://help.github.com/articles/remove-sensitive-data#purging-a-file-from-your-repositorys-history