Not saying it needed to be on github only, but unzipping into a set of repos there in addition to posting the zips would be helpful.
I suppose anyone could do that, but then the provenance is not preserved.
Not saying it needed to be on github only, but unzipping into a set of repos there in addition to posting the zips would be helpful.
I suppose anyone could do that, but then the provenance is not preserved.