[m-dev.] Source dist. archives on github
jfischer at opturion.com
Tue Jan 29 11:20:10 AEDT 2019
Peter and I have been discussing hosting the source distributions
on github in addition to distributing as .tar.gz files. The basic
idea is that there will be a new repository on github and each all
the files for the source distribution will be committed to it.
Specifically, each source distribution will just be a tagged commit
off an empty initial commit. This should allows us to provide
a much more extensive archive of source distributions.
Separately, we will begin packaging up the source distribution as
.tar.xz files as well. (I've already updated the top-level Mmakefile to
support this, I just need to re-arrange the webpage.)
More information about the developers