[m-dev.] Source dist. archives on github

Julien Fischer jfischer at opturion.com
Tue Jan 29 11:20:10 AEDT 2019

Hi all,

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 mailing list